Searched refs:EFI_VIRTUAL_ADDRESS (Results 1 – 5 of 5) sorted by relevance
86 typedef uint64_t EFI_VIRTUAL_ADDRESS; typedef133 EFI_VIRTUAL_ADDRESS VirtualStart;
40 EFI_VIRTUAL_ADDRESS chunk_vaddr;
54 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef
145 EFI_VIRTUAL_ADDRESS VirtualStart;
1313 chunk->chunk_vaddr = (EFI_VIRTUAL_ADDRESS)(uintptr_t)mbi; in multiboot2_exec()