982 extern struct efi {  struct
983 	efi_system_table_t *systab;	/* EFI system table */  argument
1003 	efi_get_time_t *get_time;  argument
1004 	efi_set_time_t *set_time;  argument
1005 	efi_get_wakeup_time_t *get_wakeup_time;  argument
1006 	efi_set_wakeup_time_t *set_wakeup_time;  argument
1007 	efi_get_variable_t *get_variable;  argument
1008 	efi_get_next_variable_t *get_next_variable;  argument
1009 	efi_set_variable_t *set_variable;  argument
1010 	efi_set_variable_t *set_variable_nonblocking;  argument
1011 	efi_query_variable_info_t *query_variable_info;  argument
1012 	efi_query_variable_info_t *query_variable_info_nonblocking;  argument
1013 	efi_update_capsule_t *update_capsule;  argument
1014 	efi_query_capsule_caps_t *query_capsule_caps;  argument
1015 	efi_get_next_high_mono_count_t *get_next_high_mono_count;  argument
1016 	efi_reset_system_t *reset_system;  argument
1017 	efi_set_virtual_address_map_t *set_virtual_address_map;  argument
1018 	struct efi_memory_map memmap;  argument
1020 } efi;  argument