119 				  unsigned int efi_map_offset,  in setup_efi_info_memmap()  argument
122 	void *efi_map = (void *)params + efi_map_offset;  in setup_efi_info_memmap()
123 	unsigned long efi_map_phys_addr = params_load_addr + efi_map_offset;  in setup_efi_info_memmap()
165 		unsigned int efi_map_offset, unsigned int efi_map_sz,  in setup_efi_state()  argument
190 	setup_efi_info_memmap(params, params_load_addr, efi_map_offset,  in setup_efi_state()
201 		      unsigned int efi_map_offset, unsigned int efi_map_sz,  in setup_boot_parameters()  argument
254 	setup_efi_state(params, params_load_addr, efi_map_offset, efi_map_sz,  in setup_boot_parameters()
345 	unsigned int efi_map_offset, efi_map_sz, efi_setup_data_offset;  in bzImage64_load()  local
413 	efi_map_offset = params_cmdline_sz;  in bzImage64_load()
414 	efi_setup_data_offset = efi_map_offset + efi_map_sz;  in bzImage64_load()
490 				    efi_map_offset, efi_map_sz,  in bzImage64_load()