Searched refs:acpi_arch_set_root_pointer (Results 1 – 2 of 2) sorted by relevance
161 static __always_inline void acpi_arch_set_root_pointer(u64 addr) in acpi_arch_set_root_pointer() function
207 acpi_arch_set_root_pointer(acpi_rsdp); in acpi_os_get_root_pointer()