Searched refs:PDBGKD_READ_WRITE_IO_EXTENDED64 (Results 1 – 2 of 2) sorted by relevance
626 } DBGKD_READ_WRITE_IO_EXTENDED64, *PDBGKD_READ_WRITE_IO_EXTENDED64; typedef
1157 PDBGKD_READ_WRITE_IO_EXTENDED64 ReadIoExtended = &State->u. in KdpReadIoSpaceExtended()1194 PDBGKD_READ_WRITE_IO_EXTENDED64 WriteIoExtended = &State->u. in KdpWriteIoSpaceExtended()