19 static efi_system_table_t *sys_table;  variable
34 	table = (typeof(table))sys_table;				\
67 		efi_printk(sys_table, "Failed to open file: ");  in __file_size32()
68 		efi_char16_printk(sys_table, filename_16);  in __file_size32()
69 		efi_printk(sys_table, "\n");  in __file_size32()
79 		efi_printk(sys_table, "Failed to get file info size\n");  in __file_size32()
87 		efi_printk(sys_table, "Failed to alloc mem for file info\n");  in __file_size32()
102 		efi_printk(sys_table, "Failed to get initrd info\n");  in __file_size32()
120 		efi_printk(sys_table, "Failed to open file: ");  in __file_size64()
121 		efi_char16_printk(sys_table, filename_16);  in __file_size64()
122 		efi_printk(sys_table, "\n");  in __file_size64()
132 		efi_printk(sys_table, "Failed to get file info size\n");  in __file_size64()
140 		efi_printk(sys_table, "Failed to alloc mem for file info\n");  in __file_size64()
155 		efi_printk(sys_table, "Failed to get initrd info\n");  in __file_size64()
160 efi_file_size(efi_system_table_t *sys_table, void *__fh,  in efi_file_size()  argument
213 		efi_printk(sys_table, "Failed to handle fs_proto\n");  in __open_volume32()
220 		efi_printk(sys_table, "Failed to open volume\n");  in __open_volume32()
239 		efi_printk(sys_table, "Failed to handle fs_proto\n");  in __open_volume64()
246 		efi_printk(sys_table, "Failed to open volume\n");  in __open_volume64()
253 efi_open_volume(efi_system_table_t *sys_table, void *__image, void **__fh)  in efi_open_volume()  argument
333 		efi_printk(sys_table, "Failed to alloc mem for rom\n");  in __setup_efi_pci32()
349 		efi_printk(sys_table, "Failed to read rom->vendor\n");  in __setup_efi_pci32()
357 		efi_printk(sys_table, "Failed to read rom->devid\n");  in __setup_efi_pci32()
441 		efi_printk(sys_table, "Failed to alloc mem for rom\n");  in __setup_efi_pci64()
455 		efi_printk(sys_table, "Failed to read rom->vendor\n");  in __setup_efi_pci64()
463 		efi_printk(sys_table, "Failed to read rom->devid\n");  in __setup_efi_pci64()
553 			efi_printk(sys_table, "Failed to alloc mem for pci_handle\n");  in setup_efi_pci()
1065 	sys_table = (efi_system_table_t *)(unsigned long)efi_early->table;  in make_boot_params()
1069 	if (sys_table->hdr.signature != EFI_SYSTEM_TABLE_SIGNATURE)  in make_boot_params()
1080 		efi_printk(sys_table, "Failed to get handle for LOADED_IMAGE_PROTOCOL\n");  in make_boot_params()
1084 	status = efi_low_alloc(sys_table, 0x4000, 1,  in make_boot_params()
1087 		efi_printk(sys_table, "Failed to alloc lowmem for boot params\n");  in make_boot_params()
1112 	cmdline_ptr = efi_convert_cmdline(sys_table, image, &options_size);  in make_boot_params()
1131 	status = handle_cmdline_files(sys_table, image,  in make_boot_params()
1138 		efi_printk(sys_table, "Trying to load files to higher address\n");  in make_boot_params()
1139 		status = handle_cmdline_files(sys_table, image,  in make_boot_params()
1154 	efi_free(sys_table, options_size, hdr->cmd_line_ptr);  in make_boot_params()
1156 	efi_free(sys_table, 0x4000, (unsigned long)boot_params);  in make_boot_params()
1320 	status = efi_get_memory_map(sys_table, &mem_map, &map_sz, &desc_size,  in exit_boot()
1343 	efi->efi_systab = (unsigned long)sys_table;  in exit_boot()
1350 	efi->efi_systab_hi = (unsigned long)sys_table >> 32;  in exit_boot()
1408 	sys_table = _table;  in efi_main()
1411 	if (sys_table->hdr.signature != EFI_SYSTEM_TABLE_SIGNATURE)  in efi_main()
1426 		efi_printk(sys_table, "Failed to alloc mem for gdt structure\n");  in efi_main()
1431 	status = efi_low_alloc(sys_table, gdt->size, 8,  in efi_main()
1434 		efi_printk(sys_table, "Failed to alloc mem for gdt\n");  in efi_main()
1444 		status = efi_relocate_kernel(sys_table, &bzimage_addr,  in efi_main()
1449 			efi_printk(sys_table, "efi_relocate_kernel() failed!\n");  in efi_main()
1459 		efi_printk(sys_table, "exit_boot() failed!\n");  in efi_main()
1521 	efi_printk(sys_table, "efi_main() failed!\n");  in efi_main()