Symbol: INTC_KIND_GICV1
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
26
{ "arm,cortex-a9-gic", INTC_KIND_GICV1 },
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
30
{ "arm,cortex-a9-gic", INTC_KIND_GICV1 },