Symbol: EFI_VIRTUAL_ADDRESS
sys/dev/efi/efi.h
102
EFI_VIRTUAL_ADDRESS VirtualStart;
sys/stand/efi/include/efidef.h
183
EFI_VIRTUAL_ADDRESS VirtualStart; // Field size is 64 bits