Symbol: INTC_KIND_SUN4I
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
31
{ "allwinner,sun4i-a10-ic", INTC_KIND_SUN4I },
src/system/kernel/arch/arm/arch_int.cpp
175
} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_SUN4I,