Searched defs:acpi_rsdt_next (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 | rsdt.h | 40 acpi_rsdt_next(acpi_rsdt_t* hdr, uint32_t* cur) function |
Completed in 20 milliseconds