[disk/dev_ctl] Get the disk pointer in the dispatcher
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 9 Jan 2011 09:24:57 +0000 (04:24 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Sun, 9 Jan 2011 09:24:57 +0000 (04:24 -0500)
src/winvblock/disk/dev_ctl.c

index 3cc5f54..602c420 100644 (file)
@@ -198,6 +198,7 @@ WVL_M_LIB NTSTATUS STDCALL disk_dev_ctl__dispatch(
     IN PIRP irp,
     IN ULONG POINTER_ALIGNMENT code
   ) {
+    WV_SP_DISK_T disk = disk__get_ptr(dev);
     NTSTATUS status;
 
     switch (code) {