Searched refs:GIC_INTERRUPT_TYPE_PPI (Results 1 - 2 of 2) sorted by relevance

/haiku/src/add-ons/kernel/bus_managers/fdt/
H A Dfdt_module.cpp40 #define GIC_INTERRUPT_TYPE_PPI 1 macro
538 else if (interruptType == GIC_INTERRUPT_TYPE_PPI)
655 else if (interruptType == GIC_INTERRUPT_TYPE_PPI)
/haiku/src/system/boot/platform/efi/
H A Ddtb.cpp47 #define GIC_INTERRUPT_TYPE_PPI 1 macro
501 else if (interruptType == GIC_INTERRUPT_TYPE_PPI)

Completed in 16 milliseconds