Symbol: GIC_INTERRUPT_BASE_PPI
src/add-ons/kernel/bus_managers/fdt/fdt_module.cpp
42
#define GIC_INTERRUPT_BASE_PPI 16
src/system/boot/platform/efi/dtb.cpp
50
#define GIC_INTERRUPT_BASE_PPI 16