typedef struct _DBGKD_WRITE_MEMORY64
{
    unsigned __int64 TargetBaseAddress;
    unsigned long TransferCount;
    unsigned long ActualBytesWritten;
} DBGKD_WRITE_MEMORY64, *PDBGKD_WRITE_MEMORY64;