Searched refs:VirtualStart (Results 1 – 3 of 3) sorted by relevance
230 in->VirtualStart = in->PhysicalStart + EFI_RT_VIRTUAL_OFFSET; in efi_get_virtmap()256 in->VirtualStart += efi_virt_base - paddr; in efi_get_virtmap()
329 p->VirtualStart = UINT64_MAX; in allocate_new_fdt_and_exit_boot()
221 EFI_VIRTUAL_ADDRESS VirtualStart; // Field size is 64 bits member