Symbol: INTC_KIND_OMAP3
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
29
{ "ti,omap3-intc", INTC_KIND_OMAP3 },
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
32
{ "ti,omap3-intc", INTC_KIND_OMAP3 },
src/system/kernel/arch/arm/arch_int.cpp
163
} else if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_OMAP3,