142 				  unsigned int efi_map_offset,  in setup_efi_info_memmap()  argument
145 	void *efi_map = (void *)params + efi_map_offset;  in setup_efi_info_memmap()
146 	unsigned long efi_map_phys_addr = params_load_addr + efi_map_offset;  in setup_efi_info_memmap()
187 		unsigned int efi_map_offset, unsigned int efi_map_sz,  in setup_efi_state()  argument
207 	setup_efi_info_memmap(params, params_load_addr, efi_map_offset,  in setup_efi_state()
271 		      unsigned int efi_map_offset, unsigned int efi_map_sz,  in setup_boot_parameters()  argument
333 	setup_efi_state(params, params_load_addr, efi_map_offset, efi_map_sz,  in setup_boot_parameters()
446 	unsigned int efi_map_offset, efi_map_sz, efi_setup_data_offset;  in bzImage64_load()  local
543 	efi_map_offset = params_cmdline_sz;  in bzImage64_load()
544 	efi_setup_data_offset = efi_map_offset + ALIGN(efi_map_sz, 16);  in bzImage64_load()
629 				    efi_map_offset, efi_map_sz,  in bzImage64_load()