Searched refs:find_acpi_root (Results 1 - 3 of 3) sorted by relevance

/fuchsia/zircon/bootloader/src/
H A Dosboot.h29 uint64_t find_acpi_root(efi_handle img, efi_system_table* sys);
H A Dmisc.c21 uint64_t find_acpi_root(efi_handle img, efi_system_table* sys) { function
H A Dzircon.c250 uint64_t rsdp = find_acpi_root(img, sys);

Completed in 23 milliseconds