Searched defs:rsdt_address (Results 1 - 3 of 3) sorted by relevance
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ | ||
H A D | acpi.h | 34 uint32_t rsdt_address; member in struct:acpi_rsdp |
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ | ||
H A D | acpi.h | 34 uint32_t rsdt_address; member in struct:acpi_rsdp |
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ | ||
H A D | acpi.h | 37 uint32_t rsdt_address; member in struct:acpi_rsdp |
Completed in 27 milliseconds