Module axhal::platform::irq

Constants

• MAX_IRQ_COUNT
  The maximum number of IRQs.
• TIMER_IRQ_NUM
  The timer IRQ number.

Functions

• dispatch_irq
  Dispatches the IRQ.
• local_apic
• raw_apic_id
• register_handler
  Registers an IRQ handler for the given IRQ.
• set_enable
  Enables or disables the given IRQ.