20 	enum efi_type et;  in efi_get_type()  local
27 		et = EFI_TYPE_64;  in efi_get_type()
29 		et = EFI_TYPE_32;  in efi_get_type()
32 		et = EFI_TYPE_NONE;  in efi_get_type()
43 		et = EFI_TYPE_NONE;  in efi_get_type()
47 	return et;  in efi_get_type()
62 	enum efi_type et;  in efi_get_system_table()  local
86 						   enum efi_type et)  in get_kexec_setup_data()  argument
133 	enum efi_type et;  in efi_get_conf_table()  local
144 	et = efi_get_type(bp);  in efi_get_conf_table()
145 	if (et == EFI_TYPE_64) {  in efi_get_conf_table()
150 		esd = get_kexec_setup_data(bp, et);  in efi_get_conf_table()
154 	} else if (et == EFI_TYPE_32) {  in efi_get_conf_table()
170 			    enum efi_type et)  in get_vendor_table()  argument
172 	if (et == EFI_TYPE_64) {  in get_vendor_table()
183 	} else if (et == EFI_TYPE_32) {  in get_vendor_table()
211 	enum efi_type et;  in efi_find_vendor_table()  local
214 	et = efi_get_type(bp);  in efi_find_vendor_table()
215 	if (et == EFI_TYPE_NONE)  in efi_find_vendor_table()
225 				       &vendor_tbl_guid, et);  in efi_find_vendor_table()