Module kernel::gicv2

Macros

• bounds_checked 🔒

Structs

• CpuInterface
• Distributor
• InterruptId
  GIC interrupt ID.
• InterruptSpecifier
  Interrupt specifier, as found in devicetree.
• InterruptSpecifierIter
• PpiNumber
  Zero-based PPI number, as found in devicetree.
• SpiNumber
  Zero-based SPI number, as found in devicetree.