Symbol: PXE_UINT64
usr/src/boot/efi/include/Uefi/UefiPxe.h
1246
PXE_UINT64 MemoryAddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1366
PXE_UINT64 Supported;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1371
PXE_UINT64 Data[64];
usr/src/boot/efi/include/Uefi/UefiPxe.h
1565
PXE_UINT64 TxBuffer[MAX_XMIT_BUFFERS];
usr/src/boot/efi/include/Uefi/UefiPxe.h
1580
PXE_UINT64 MediaHeader;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1647
PXE_UINT64 FragAddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1666
PXE_UINT64 FrameAddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1709
PXE_UINT64 FragAddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
1728
PXE_UINT64 BufferAddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
48
((((PXE_UINT64)(n) & 0x00000000000000FFULL) << 56) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
49
(((PXE_UINT64)(n) & 0x000000000000FF00ULL) << 40) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
50
(((PXE_UINT64)(n) & 0x0000000000FF0000ULL) << 24) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
51
(((PXE_UINT64)(n) & 0x00000000FF000000ULL) << 8) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
52
(((PXE_UINT64)(n) & 0x000000FF00000000ULL) >> 8) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
53
(((PXE_UINT64)(n) & 0x0000FF0000000000ULL) >> 24) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
54
(((PXE_UINT64)(n) & 0x00FF000000000000ULL) >> 40) | \
usr/src/boot/efi/include/Uefi/UefiPxe.h
55
(((PXE_UINT64)(n) & 0xFF00000000000000ULL) >> 56))
usr/src/boot/efi/include/Uefi/UefiPxe.h
59
#define PXE_CPBADDR_NOT_USED (PXE_UINT64) 0 ///< zero
usr/src/boot/efi/include/Uefi/UefiPxe.h
60
#define PXE_DBADDR_NOT_USED (PXE_UINT64) 0 ///< zero
usr/src/boot/efi/include/Uefi/UefiPxe.h
818
PXE_UINT64 EntryPoint; ///< API entry point.
usr/src/boot/efi/include/Uefi/UefiPxe.h
878
PXE_UINT64 CPBaddr;
usr/src/boot/efi/include/Uefi/UefiPxe.h
879
PXE_UINT64 DBaddr;