SDV reports false DoubleCompletion

Viktor Prutyanov 1 Reputation point
2021-09-23T07:56:06.85+00:00

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 Performance
Windows Hardware Performance
Windows: A family of Microsoft operating systems that run across personal computers, tablets, laptops, phones, internet of things devices, self-contained mixed reality headsets, large collaboration screens, and other devices.Hardware Performance: Delivering / providing hardware or hardware systems or adjusting / adapting hardware or hardware systems.
1,541 questions
0 comments