typedef struct _DBGKD_READ_MEMORY64
{
     UINT64 TargetBaseAddress;
     ULONG TransferCount;
     ULONG ActualBytesRead;
} DBGKD_READ_MEMORY64, *PDBGKD_READ_MEMORY64;

Windows Vista Kernel Structures