Searched refs:EFI_VIRTUAL_ADDRESS (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/
H A Duefi_mmap.h14 //EFI_VIRTUAL_ADDRESS
17 typedef uint64_t EFI_VIRTUAL_ADDRESS; typedef
81 EFI_VIRTUAL_ADDRESS VirtualStart;
/barrelfish-master/lib/acpica/source/include/platform/
H A Dacefiex.h164 typedef UINT64 EFI_VIRTUAL_ADDRESS; typedef
211 EFI_VIRTUAL_ADDRESS VirtualStart;
/barrelfish-master/tools/armv8_bootimage/
H A Defi_loader.c80 EFI_VIRTUAL_ADDRESS boot_driver_entry;

Completed in 50 milliseconds