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

Windows Vista Kernel Structures