typedef struct _DBGKD_READ_WRITE_IO64
{
    unsigned __int64 IoAddress;
    unsigned long DataSize;
    unsigned long DataValue;
} DBGKD_READ_WRITE_IO64, *PDBGKD_READ_WRITE_IO64;