efi_system_table_t  733 include/linux/efi.h 	efi_system_table_t *system_table;
efi_system_table_t  834 include/linux/efi.h 	efi_system_table_t *systab;	/* EFI system table */
efi_system_table_t 1238 include/linux/efi.h void efi_printk(efi_system_table_t *sys_table_arg, char *str);
efi_system_table_t 1240 include/linux/efi.h void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
efi_system_table_t 1243 include/linux/efi.h char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,
efi_system_table_t 1246 include/linux/efi.h efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
efi_system_table_t 1253 include/linux/efi.h efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
efi_system_table_t 1257 include/linux/efi.h efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
efi_system_table_t 1261 include/linux/efi.h efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,
efi_system_table_t 1268 include/linux/efi.h efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,
efi_system_table_t   41 include/xen/xen-ops.h extern efi_system_table_t *xen_efi_probe(void);
efi_system_table_t   43 include/xen/xen-ops.h static inline efi_system_table_t __init *xen_efi_probe(void)