typedef struct _DBGKD_READ_WRITE_MSR
{
    unsigned long Msr;
    unsigned long DataValueLow;
    unsigned long DataValueHigh;
} DBGKD_READ_WRITE_MSR, *PDBGKD_READ_WRITE_MSR;