S
Subhashsukumaran
Guest
Hi,
I am running SDV on my NDIS 6.0 virtual miniport driver. Using WDK 10 and VS 2019.
SDV reports "CheckIrql" defect saying I cannot call Ndiswaitevent with zero timeout from MPHaltEx. It asserts at "irq==0". It says current Irql is 31. Even at the start of MiniporthaltEx incoming Irql is shown as 31. I am not taking any locks also. It is supposed to be called at Passive level. I am using proper NDIS annotations. "MINIPORT_HALT" annotation for MiniportHaltEx. I can see in the header file (ndis.h) , _IRQL_requires_(PASSIVE_LEVEL) is included in the declaration.
Is this a known bug? I want to know how reliable is Static Driver Verifier?
Thanks,
Subhash S
Continue reading...
I am running SDV on my NDIS 6.0 virtual miniport driver. Using WDK 10 and VS 2019.
SDV reports "CheckIrql" defect saying I cannot call Ndiswaitevent with zero timeout from MPHaltEx. It asserts at "irq==0". It says current Irql is 31. Even at the start of MiniporthaltEx incoming Irql is shown as 31. I am not taking any locks also. It is supposed to be called at Passive level. I am using proper NDIS annotations. "MINIPORT_HALT" annotation for MiniportHaltEx. I can see in the header file (ndis.h) , _IRQL_requires_(PASSIVE_LEVEL) is included in the declaration.
Is this a known bug? I want to know how reliable is Static Driver Verifier?
Thanks,
Subhash S
Continue reading...