Searched refs:efi_file_handle_32_t (Results 1 – 2 of 2) sorted by relevance
58 efi_file_handle_32_t *h, *fh = __fh; in __file_size32()180 efi_file_handle_32_t *fh = handle; in efi_file_read()194 efi_file_handle_32_t *fh = handle; in efi_file_close()204 efi_file_handle_32_t *fh; in __open_volume32()
761 } efi_file_handle_32_t; typedef