Lines Matching refs:efi_system_table_t
670 } efi_system_table_t; typedef
724 efi_system_table_t *system_table;
811 efi_system_table_t *systab; /* EFI system table */
1217 void efi_printk(efi_system_table_t *sys_table_arg, char *str);
1219 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
1222 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,
1225 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
1232 efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
1236 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
1240 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,
1247 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,