Searched refs:ACPI_APIC_GICD (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmadt.h27 #define ACPI_APIC_GICD 0x0C macro
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmadt.h27 #define ACPI_APIC_GICD 0x0C macro
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c318 case ACPI_APIC_GICD:
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.c318 case ACPI_APIC_GICD:

Completed in 32 milliseconds