Searched defs:firmware_walking_vector (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ | ||
H A D | facs.h | 20 uint32_t firmware_walking_vector; member in struct:acpi_facs |
Completed in 69 milliseconds