14510 struct efi {  struct
14511 	const efi_runtime_services_t *runtime;  argument
14523 	efi_get_time_t *get_time;  argument
14524 	efi_set_time_t *set_time;  argument
14525 	efi_get_wakeup_time_t *get_wakeup_time;  argument
14526 	efi_set_wakeup_time_t *set_wakeup_time;  argument
14527 	efi_get_variable_t *get_variable;  argument
14528 	efi_get_next_variable_t *get_next_variable;  argument
14529 	efi_set_variable_t *set_variable;  argument
14530 	efi_set_variable_t *set_variable_nonblocking;  argument
14531 	efi_query_variable_info_t *query_variable_info;  argument
14532 	efi_query_variable_info_t *query_variable_info_nonblocking;  argument
14533 	efi_update_capsule_t *update_capsule;  argument
14534 	efi_query_capsule_caps_t *query_capsule_caps;  argument
14535 	efi_get_next_high_mono_count_t *get_next_high_mono_count;  argument
14536 	efi_reset_system_t *reset_system;  argument
14537 	struct efi_memory_map memmap;  argument
14538 	long unsigned int flags;