Searched defs:acpi_header_t (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ | ||
H A D | acpi.h | 52 } acpi_header_t; typedef in typeref:struct:acpi_header |
/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ | ||
H A D | acpi.h | 29 } PACKED acpi_header_t; typedef in typeref:struct:acpi_header |
Completed in 35 milliseconds