637 extern struct efi {  struct
638 	const efi_runtime_services_t	*runtime;		/* EFI runtime services table */  argument
653 	efi_get_time_t			*get_time;  argument
654 	efi_set_time_t			*set_time;  argument
655 	efi_get_wakeup_time_t		*get_wakeup_time;  argument
656 	efi_set_wakeup_time_t		*set_wakeup_time;  argument
657 	efi_get_variable_t		*get_variable;  argument
658 	efi_get_next_variable_t		*get_next_variable;  argument
659 	efi_set_variable_t		*set_variable;  argument
660 	efi_set_variable_t		*set_variable_nonblocking;  argument
661 	efi_query_variable_info_t	*query_variable_info;  argument
662 	efi_query_variable_info_t	*query_variable_info_nonblocking;  argument
663 	efi_update_capsule_t		*update_capsule;  argument
664 	efi_query_capsule_caps_t	*query_capsule_caps;  argument
665 	efi_get_next_high_mono_count_t	*get_next_high_mono_count;  argument
666 	efi_reset_system_t		*reset_system;  argument
668 	struct efi_memory_map		memmap;  argument
670 } efi;  argument