text: DECL|HARDWARE_IRQ_LIMIT|macro|HARDWARE_IRQ_LIMIT
  DECL|IS_IOAPIC_IRQ|macro|IS_IOAPIC_IRQ
  DECL|__irq_controller_irq_config|function|void __irq_controller_irq_config(unsigned int vector, unsigned int irq, u32_t flags)
  DECL|_arch_irq_disable|function|void _arch_irq_disable(unsigned int irq)
  DECL|_arch_irq_enable|function|void _arch_irq_enable(unsigned int irq)
  