Searched defs:acpi_xsdt_t (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ | ||
H A D | xsdt.h | 20 } acpi_xsdt_t; typedef in typeref:struct:acpi_xsdt |
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ | ||
H A D | xsdt.h | 20 } acpi_xsdt_t; typedef in typeref:struct:acpi_xsdt |
Completed in 76 milliseconds