typedef struct _DBGKD_READ_WRITE_IO64
{
     UINT64 IoAddress;
     ULONG DataSize;
     ULONG DataValue;
} DBGKD_READ_WRITE_IO64, *PDBGKD_READ_WRITE_IO64;

Windows Vista Kernel Structures