49 void efi_printk(efi_system_table_t *sys_table_arg, char *str)  in efi_printk()  argument
59 			efi_char16_printk(sys_table_arg, nl);  in efi_printk()
62 		efi_char16_printk(sys_table_arg, ch);  in efi_printk()
66 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,  in efi_get_memory_map()  argument
113 unsigned long get_dram_base(efi_system_table_t *sys_table_arg)  in get_dram_base()  argument
121 	status = efi_get_memory_map(sys_table_arg, (efi_memory_desc_t **)&map.map,  in get_dram_base()
141 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,  in efi_high_alloc()  argument
152 	status = efi_get_memory_map(sys_table_arg, &map, &map_size, &desc_size,  in efi_high_alloc()
227 efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,  in efi_low_alloc()  argument
237 	status = efi_get_memory_map(sys_table_arg, &map, &map_size, &desc_size,  in efi_low_alloc()
296 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,  in efi_free()  argument
358 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,  in handle_cmdline_files()  argument
411 		pr_efi_err(sys_table_arg, "Failed to alloc mem for file handle list\n");  in handle_cmdline_files()
450 			status = efi_open_volume(sys_table_arg, image,  in handle_cmdline_files()
456 		status = efi_file_size(sys_table_arg, fh, filename_16,  in handle_cmdline_files()
472 		status = efi_high_alloc(sys_table_arg, file_size_total, 0x1000,  in handle_cmdline_files()
475 			pr_efi_err(sys_table_arg, "Failed to alloc highmem for files\n");  in handle_cmdline_files()
481 			pr_efi_err(sys_table_arg, "We've run out of free low memory\n");  in handle_cmdline_files()
502 					pr_efi_err(sys_table_arg, "Failed to read file\n");  in handle_cmdline_files()
522 	efi_free(sys_table_arg, file_size_total, file_addr);  in handle_cmdline_files()
545 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,  in efi_relocate_kernel()  argument
583 		status = efi_low_alloc(sys_table_arg, alloc_size, alignment,  in efi_relocate_kernel()
587 		pr_efi_err(sys_table_arg, "Failed to allocate usable memory for kernel.\n");  in efi_relocate_kernel()
657 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,  in efi_convert_cmdline()  argument
687 	status = efi_low_alloc(sys_table_arg, options_bytes, 0, &cmdline_addr);  in efi_convert_cmdline()