efi_addr          703 drivers/firmware/efi/libstub/efi-stub-helper.c 	efi_physical_addr_t efi_addr = preferred_addr;
efi_addr          723 drivers/firmware/efi/libstub/efi-stub-helper.c 				nr_pages, &efi_addr);
efi_addr          724 drivers/firmware/efi/libstub/efi-stub-helper.c 	new_addr = efi_addr;