Searched refs:efi_memory_top (Results 1 – 2 of 2) sorted by relevance
60 efi_physical_address_t efi_memory_top; member
81 hob_table->efi_memory_top = (vaddr_t)(mem_begin + mem_len); in efi_create_hob_list()