__efi_get_rsdp_addr  113 arch/x86/boot/compressed/acpi.c 	return __efi_get_rsdp_addr((unsigned long)esd->tables, systab->nr_tables, true);
__efi_get_rsdp_addr  169 arch/x86/boot/compressed/acpi.c 	return __efi_get_rsdp_addr(config_tables, nr_tables, efi_64);