Symbol: EFI_PHYSICAL_ADDRESS
usr/src/boot/efi/include/Uefi/UefiBaseType.h
49
typedef UINT64 EFI_PHYSICAL_ADDRESS;
usr/src/uts/common/sys/efi.h
85
typedef uint64_t EFI_PHYSICAL_ADDRESS;