typedef struct _DBGKD_READ_MEMORY64
{
    unsigned __int64 TargetBaseAddress;
    unsigned long TransferCount;
    unsigned long ActualBytesRead;
} DBGKD_READ_MEMORY64, *PDBGKD_READ_MEMORY64;