Symbol: INTC_KIND_PXA
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
30
{ "marvell,pxa-intc", INTC_KIND_PXA },
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
33
{ "marvell,pxa-intc", INTC_KIND_PXA },
src/system/kernel/arch/arm/arch_int.cpp
169
} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_PXA,