typedef struct _DBGKD_READ_WRITE_IO_EXTENDED32
{
    unsigned long DataSize;
    unsigned long InterfaceType;
    unsigned long BusNumber;
    unsigned long AddressSpace;
    unsigned long IoAddress;
    unsigned long DataValue;
} DBGKD_READ_WRITE_IO_EXTENDED32, *PDBGKD_READ_WRITE_IO_EXTENDED32;