Symbol: INTC_KIND_GICV2
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
27
{ "arm,cortex-a15-gic", INTC_KIND_GICV2 },
src/system/boot/platform/efi/arch/arm/arch_dtb.cpp
28
{ "arm,gic-400", INTC_KIND_GICV2 },
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
115
strcpy(intc.kind, INTC_KIND_GICV2);
src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp
31
{ "arm,cortex-a15-gic", INTC_KIND_GICV2 },
src/system/kernel/arch/arm/arch_int.cpp
156
if (strncmp(args->arch_args.interrupt_controller.kind, INTC_KIND_GICV2,
src/system/kernel/arch/arm64/arch_int.cpp
93
if (strcmp(args->arch_args.interrupt_controller.kind, INTC_KIND_GICV2) == 0) {