Searched refs:efi_get_rsdp_physaddr (Results 1 – 3 of 3) sorted by relevance
554 extern uint64_t efi_get_rsdp_physaddr(void);
721 rsdp_physaddr = efi_get_rsdp_physaddr(); in acpi_count_enabled_logical_processors()
1880 efi_get_rsdp_physaddr(void) in efi_get_rsdp_physaddr() function