typedef struct _DBGKD_READ_MEMORY64                                             // 3 / 3 elements; 0x0010 / 0x0010 Bytes
{
    UINT64                      TargetBaseAddress;                              // 0x0000 / 0x0000; 0x0008 / 0x0008 Bytes
    ULONG32                     TransferCount;                                  // 0x0008 / 0x0008; 0x0004 / 0x0004 Bytes
    ULONG32                     ActualBytesRead;                                // 0x000C / 0x000C; 0x0004 / 0x0004 Bytes
} DBGKD_READ_MEMORY64, * PDBGKD_READ_MEMORY64;

Return to OS-specific structures/unions/enums list.
Return to OS version list.