__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);