typedef struct _DBGKD_WRITE_MEMORY32
{
    unsigned long TargetBaseAddress;
    unsigned long TransferCount;
    unsigned long ActualBytesWritten;
} DBGKD_WRITE_MEMORY32, *PDBGKD_WRITE_MEMORY32;