typedef struct _DBGKD_READ_WRITE_IO_EXTENDED64
{
    unsigned long DataSize;
    unsigned long InterfaceType;
    unsigned long BusNumber;
    unsigned long AddressSpace;
    unsigned __int64 IoAddress;
    unsigned long DataValue;
} DBGKD_READ_WRITE_IO_EXTENDED64, *PDBGKD_READ_WRITE_IO_EXTENDED64;