get_rsdp_addr     376 arch/x86/boot/compressed/misc.c 	boot_params->acpi_rsdp_addr = get_rsdp_addr();
get_rsdp_addr     124 arch/x86/boot/compressed/misc.h acpi_physical_address get_rsdp_addr(void);