From b8f0f5673f7074e6dfb843e216fa5310374defda Mon Sep 17 00:00:00 2001
From: Casey Bodley <cbodley@citi.umich.edu>
Date: Fri, 5 Nov 2010 14:05:39 -0400
Subject: [PATCH] driver: nfs41_FsCtl() calls print_debug_header()

Signed-off-by: Casey Bodley <cbodley@citi.umich.edu>
---
 sys/nfs41_driver.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/nfs41_driver.c b/sys/nfs41_driver.c
index ed700bd..0710551 100644
--- a/sys/nfs41_driver.c
+++ b/sys/nfs41_driver.c
@@ -4413,6 +4413,7 @@ NTSTATUS nfs41_FsCtl(
 {
     NTSTATUS status = STATUS_INVALID_DEVICE_REQUEST;
     DbgEn();
+    print_debug_header(RxContext);
     DbgP("FileName: %wZ\n", &RxContext->CurrentIrpSp->FileObject->FileName);
     switch (RxContext->LowIoContext.ParamsFor.FsCtl.FsControlCode) {
     case FSCTL_SET_REPARSE_POINT: