diff options
| author | Wei Mao <[email protected]> | 2017-03-13 15:43:02 -0700 |
|---|---|---|
| committer | Wei Mao <[email protected]> | 2017-03-13 15:43:02 -0700 |
| commit | 49bcea929f7eb4a417de16abc8be5d2d172181b7 (patch) | |
| tree | 1100d2317d0a15ede65459835c4fb391b00fcf8f /usb/kmdf_fx2/driver/driver.c | |
| parent | 6f54e0945a4deffb6d129a79374f8788769ab090 (diff) | |
[usb/kmdf_fx2] Fix Code Analysis Warnings
Diffstat (limited to 'usb/kmdf_fx2/driver/driver.c')
| -rw-r--r-- | usb/kmdf_fx2/driver/driver.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/usb/kmdf_fx2/driver/driver.c b/usb/kmdf_fx2/driver/driver.c index 44939a3b..18905851 100644 --- a/usb/kmdf_fx2/driver/driver.c +++ b/usb/kmdf_fx2/driver/driver.c @@ -132,7 +132,7 @@ Return Value: // // Register with ETW (unified tracing) - // + // EventRegisterOSRUSBFX2(); // @@ -207,6 +207,11 @@ Return Value: --*/ { + // + // EvtCleanupCallback for WDFDRIVER is always called at PASSIVE_LEVEL + // + _Analysis_assume_(KeGetCurrentIrql() == PASSIVE_LEVEL); + PAGED_CODE (); TraceEvents(TRACE_LEVEL_INFORMATION, DBG_INIT, @@ -215,7 +220,7 @@ Return Value: WPP_CLEANUP( WdfDriverWdmGetDriverObject( (WDFDRIVER)Driver )); UNREFERENCED_PARAMETER(Driver); // For the case when WPP is not being used. - + EventUnregisterOSRUSBFX2(); } |