Lines Matching refs:efi_system_table_t

56 void efi_printk(efi_system_table_t *sys_table_arg, char *str)  in efi_printk()
82 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,  in efi_get_memory_map()
133 unsigned long get_dram_base(efi_system_table_t *sys_table_arg)  in get_dram_base()
170 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,  in efi_high_alloc()
265 efi_status_t efi_low_alloc_above(efi_system_table_t *sys_table_arg,  in efi_low_alloc_above()
338 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,  in efi_free()
350 static efi_status_t efi_file_size(efi_system_table_t *sys_table_arg, void *__fh,  in efi_file_size()
413 static efi_status_t efi_open_volume(efi_system_table_t *sys_table_arg,  in efi_open_volume()
504 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,  in handle_cmdline_files()
691 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,  in efi_relocate_kernel()
808 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,  in efi_convert_cmdline()
861 efi_status_t efi_exit_boot_services(efi_system_table_t *sys_table_arg,  in efi_exit_boot_services()
927 static void *get_efi_config_table##bits(efi_system_table_t *_sys_table,	\
949 void *get_efi_config_table(efi_system_table_t *sys_table, efi_guid_t guid)  in get_efi_config_table()