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

/seL4-test-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h19 typedef struct acpi_header { struct
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dacpi.h42 typedef struct acpi_header { struct

Completed in 81 milliseconds