Searched defs:acpi_init (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dacpi.c369 acpi_init(ps_io_mapper_t io_mapper) function
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c225 BOOT_CODE bool_t acpi_init(acpi_rsdp_t *rsdp_data) function

Completed in 52 milliseconds