543 extern struct efi {  struct
544 	const efi_runtime_services_t	*runtime;		/* EFI runtime services table */  argument
557 	efi_get_time_t			*get_time;  argument
558 	efi_set_time_t			*set_time;  argument
559 	efi_get_wakeup_time_t		*get_wakeup_time;  argument
560 	efi_set_wakeup_time_t		*set_wakeup_time;  argument
561 	efi_get_variable_t		*get_variable;  argument
562 	efi_get_next_variable_t		*get_next_variable;  argument
563 	efi_set_variable_t		*set_variable;  argument
564 	efi_set_variable_t		*set_variable_nonblocking;  argument
565 	efi_query_variable_info_t	*query_variable_info;  argument
566 	efi_query_variable_info_t	*query_variable_info_nonblocking;  argument
567 	efi_update_capsule_t		*update_capsule;  argument
568 	efi_query_capsule_caps_t	*query_capsule_caps;  argument
569 	efi_get_next_high_mono_count_t	*get_next_high_mono_count;  argument
570 	efi_reset_system_t		*reset_system;  argument
572 	struct efi_memory_map		memmap;  argument
574 } efi;  argument