question

ViktorPrutyanov-3173 avatar image
0 Votes"
ViktorPrutyanov-3173 asked

SDV reports false DoubleCompletion

SDV from EWDK for Windows Server 2022 reports DoubleCompletion in a driver.

Report viewer shows that SDV skips branch with if (ActionFlags & 0x1) condition, where ActionFlags is 268435457. But 268435457 & 0x1 is obviously TRUE.
This is the place in the code: https://github.com/virtio-win/kvm-guest-drivers-windows/blob/60db79b36a0a02bd2c7423efe7600778682a807b/vioserial/sys/Port.c#L1330
Value 0x1 is actually WdfRequestStopActionSuspend.

SDV doesn't notice WdfRequestStopAcknowledge and mistakenly reports DoubleCompletion rule fail.

Is it possible to fix SDV behaviour?

134602-sdv.png











windows-hardware-wdkwindows-hardware-certification
sdv.png (133.0 KiB)
5 |1600 characters needed characters left characters exceeded

Up to 10 attachments (including images) can be used with a maximum of 3.0 MiB each and 30.0 MiB total.

0 Answers