Searched refs:ACPI_SIG_ECDT (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dregions.h24 #define ACPI_SIG_ECDT "ECDT" /* Embedded Controller Boot Resources Table */ macro
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dregions.h24 #define ACPI_SIG_ECDT "ECDT" /* Embedded Controller Boot Resources Table */ macro

Completed in 50 milliseconds