Searched refs:ACPI_BOOT (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dregions.h70 ACPI_BOOT, enumerator in enum:__anon530
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dregions.h70 ACPI_BOOT, enumerator in enum:__anon961
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c141 case ACPI_BOOT:
H A Dwalker.c225 case ACPI_BOOT:
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c141 case ACPI_BOOT:
H A Dwalker.c225 case ACPI_BOOT:

Completed in 84 milliseconds