Changeset 7552 in vbox for trunk/src/VBox/Additions/WINNT

Timestamp:

Mar 25, 2008 2:50:26 PM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

29026

Message:

Extended PAGED_CODE macro for VboxSF and i8042prt.

File:

• trunk/src/VBox/Additions/WINNT/i8042prt/include/ntddk.h (modified) (1 diff)

trunk/src/VBox/Additions/WINNT/i8042prt/include/ntddk.h

@@ -458 +458 @@
 //
 
-#if DBG
+#ifdef DEBUG
 #define PAGED_CODE() \
     { if (KeGetCurrentIrql() > APC_LEVEL) { \
           KdPrint(( "EX: Pageable code called at IRQL %d\n", KeGetCurrentIrql() )); \
+          Log(("i8042prt: %s: EXECPTION: IOCTL_MRX_VBOX_GETGLOBALCONN: Pageable code called at IRQL = %d! This driver will raise a bugcheck now ....\n", __FUNCTION__, KeGetCurrentIrql())); \
           ASSERT(FALSE); \
        } \