Symbol: GIC_INTERRUPT_TYPE_SPI
src/add-ons/kernel/bus_managers/fdt/fdt_module.cpp
536
if (interruptType == GIC_INTERRUPT_TYPE_SPI)
src/add-ons/kernel/bus_managers/fdt/fdt_module.cpp
653
if (interruptType == GIC_INTERRUPT_TYPE_SPI)
src/system/boot/platform/efi/dtb.cpp
501
if (interruptType == GIC_INTERRUPT_TYPE_SPI)