Searched refs:acpi_unmap_table (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ | ||
H A D | walker.c | 78 acpi_unmap_table(acpi_t *acpi, acpi_header_t *header) function 137 acpi_unmap_table(acpi, header_vaddr); |
Completed in 27 milliseconds