efi_physical_addr_t
efi_physical_addr_t sglist_phys;
efi_physical_addr_t alloc_addr;
(__efiapi *hash_log_extend_event)(void *, u64, efi_physical_addr_t,
efi_physical_addr_t *);
efi_status_t (__efiapi *free_pages)(efi_physical_addr_t,
efi_physical_addr_t base_address;
efi_status_t (__efiapi *get_memory_space_descriptor)(efi_physical_addr_t,
efi_status_t (__efiapi *set_memory_space_attributes)(efi_physical_addr_t,
efi_memory_attribute_protocol_t *, efi_physical_addr_t, u64, u64 *);
efi_memory_attribute_protocol_t *, efi_physical_addr_t, u64, u64);
efi_memory_attribute_protocol_t *, efi_physical_addr_t, u64, u64);
efi_physical_addr_t frame_buffer_base;
efi_physical_addr_t *,
efi_physical_addr_t *,
efi_physical_addr_t,
efi_physical_addr_t *,
efi_physical_addr_t *,
efi_physical_addr_t, u64,
efi_physical_addr_t efi_addr = preferred_addr;
efi_physical_addr_t alloc_addr;
efi_physical_addr_t target;
efi_physical_addr_t log_location = 0, log_last_entry = 0;
static void efi_retrieve_tcg2_eventlog(int version, efi_physical_addr_t log_location,
efi_physical_addr_t log_last_entry,
efi_physical_addr_t efi_addr = EFI_KIMG_PREFERRED_ADDRESS;