[PATCH 10/11] driver: fix inconsistent annotation

[Césaire Mounah <cesaire.mounah@xxxxxxxxxx>]

Annotate Dispatch() with _Use_decl_annotation to make it consistent with
DRIVER_DISPATCH typedef in wdm.h.

Signed-off-by: Césaire Mounah <cesaire.mounah@xxxxxxxxxx>
---
 src/xenvkbd/driver.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/xenvkbd/driver.c b/src/xenvkbd/driver.c
index b7aee4b..c35f9c6 100644
--- a/src/xenvkbd/driver.c
+++ b/src/xenvkbd/driver.c
@@ -275,14 +275,15 @@ fail1:
 
 DRIVER_DISPATCH Dispatch;
 
+_Use_decl_annotations_
 NTSTATUS 
 Dispatch(
-    _In_ PDEVICE_OBJECT DeviceObject,
-    _In_ PIRP           Irp
+    PDEVICE_OBJECT DeviceObject,
+    PIRP           Irp
     )
 {
-    PXENVKBD_DX         Dx;
-    NTSTATUS            status;
+    PXENVKBD_DX    Dx;
+    NTSTATUS       status;
 
     Dx = (PXENVKBD_DX)DeviceObject->DeviceExtension;
     ASSERT3P(Dx->DeviceObject, ==, DeviceObject);
-- 
2.55.0.windows.5



--
Césaire Mounah | Vates Windows Guest Tools Engineer

XCP-ng & Xen Orchestra - Vates solutions

web: https://vates.tech