Symbol: GIC_INTERRUPT_TYPE_PPI
src/add-ons/kernel/bus_managers/fdt/fdt_module.cpp
538
else if (interruptType == GIC_INTERRUPT_TYPE_PPI)
src/add-ons/kernel/bus_managers/fdt/fdt_module.cpp
655
else if (interruptType == GIC_INTERRUPT_TYPE_PPI)
src/system/boot/platform/efi/dtb.cpp
503
else if (interruptType == GIC_INTERRUPT_TYPE_PPI)