Symbol: EFI_PHYSICAL_ADDRESS
sys/dev/efi/efi.h
28
typedef uint64_t EFI_PHYSICAL_ADDRESS;
sys/stand/efi/include/efidef.h
128
typedef UINT64 EFI_PHYSICAL_ADDRESS;