diff options
| author | Wei Mao <[email protected]> | 2018-02-01 16:26:41 -0800 |
|---|---|---|
| committer | Wei Mao <[email protected]> | 2018-02-01 16:26:41 -0800 |
| commit | 9f07d789d77155a63323bf1c34c0fc1a7d02dd01 (patch) | |
| tree | aa766dccf997edb1e44e731f13aeae2a0f11529d | |
| parent | 7744ad753f86da9f93d151d3280aacd666c789ef (diff) | |
Fix SAL annotation in toastmon
| -rw-r--r-- | general/toaster/toastDrv/kmdf/toastmon/toastmon.H | 8 | ||||
| -rw-r--r-- | general/toaster/toastDrv/kmdf/toastmon/wmi.c | 4 |
2 files changed, 7 insertions, 5 deletions
diff --git a/general/toaster/toastDrv/kmdf/toastmon/toastmon.H b/general/toaster/toastDrv/kmdf/toastmon/toastmon.H index 68b6fdce..c35ab591 100644 --- a/general/toaster/toastDrv/kmdf/toastmon/toastmon.H +++ b/general/toaster/toastDrv/kmdf/toastmon/toastmon.H @@ -83,22 +83,22 @@ Toastmon_OpenDevice( NTSTATUS ToastMon_PostReadRequests( - WDFIOTARGET IoTarget + _In_ WDFIOTARGET IoTarget ); NTSTATUS ToastMon_PostWriteRequests( - WDFIOTARGET IoTarget + _In_ WDFIOTARGET IoTarget ); NTSTATUS RegisterForWMINotification( - PDEVICE_EXTENSION DeviceExt + _Inout_ PDEVICE_EXTENSION DeviceExt ); VOID UnregisterForWMINotification( - PDEVICE_EXTENSION DeviceExt + _Inout_ PDEVICE_EXTENSION DeviceExt ); NTSTATUS diff --git a/general/toaster/toastDrv/kmdf/toastmon/wmi.c b/general/toaster/toastDrv/kmdf/toastmon/wmi.c index eb0e8e70..28424712 100644 --- a/general/toaster/toastDrv/kmdf/toastmon/wmi.c +++ b/general/toaster/toastDrv/kmdf/toastmon/wmi.c @@ -35,6 +35,7 @@ Environment: #pragma alloc_text(PAGE, WmiNotificationCallback) #endif +_Use_decl_annotations_ NTSTATUS RegisterForWMINotification( PDEVICE_EXTENSION DeviceExt @@ -82,7 +83,7 @@ RegisterForWMINotification( return status; } - +_Use_decl_annotations_ VOID UnregisterForWMINotification( PDEVICE_EXTENSION DeviceExt @@ -146,6 +147,7 @@ Return Value: return status; } +_Use_decl_annotations_ VOID WmiNotificationCallback( PVOID Wnode, |