Index: /trunk/src/VBox/HostDrivers/Support/SUPDrvInternal.h
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrvInternal.h	(revision 33939)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrvInternal.h	(revision 33940)
@@ -105,9 +105,4 @@
 #   endif /* older kernels */
 #   include <linux/timer.h>
-
-#   if 0
-#    include <linux/hrtimer.h>
-#    define VBOX_HRTIMER
-#   endif
 
 #elif defined(RT_OS_DARWIN)
Index: /trunk/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c	(revision 33939)
+++ /trunk/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c	(revision 33940)
@@ -308,5 +308,5 @@
 #ifdef RT_ARCH_AMD64
             rc = RTR0MemExecDonate(&g_abExecMemory[0], sizeof(g_abExecMemory));
-            printk("VBoxDrv: dbg - g_abExecMemory=%p\n", (void *)&g_abExecMemory[0]);
+            printk(KERN_DEBUG "VBoxDrv: dbg - g_abExecMemory=%p\n", (void *)&g_abExecMemory[0]);
 #endif
             Log(("VBoxDrv::ModuleInit\n"));
@@ -328,5 +328,5 @@
                     {
                         printk(KERN_INFO DEVICE_NAME ": TSC mode is %s, kernel timer mode is "
-#ifdef VBOX_HRTIMER
+#ifdef IPRT_LINUX_HAS_HRTIMER
                                "'high-res'"
 #else