--- src/linux/SUPDrv-linux.c~	2008-08-07 14:14:00.188546817 -0500
+++ src/linux/SUPDrv-linux.c	2008-08-07 14:28:40.253320830 -0500
@@ -1328,7 +1328,11 @@
     else
     {
         vbox_ktimer_start(&g_GipTimer);
+#if LINUX_VERSION_CODE < KERNEL_VERSION(2, 6, 27)
         smp_call_function(VBoxDrvLinuxGipResumePerCpu, pDevExt, 0 /* retry */, 1 /* wait */);
+#else
+        smp_call_function(VBoxDrvLinuxGipResumePerCpu, pDevExt, 1 /* wait */);
+#endif
     }
 #endif
 }
--- src/SUPDRV.h~	2008-08-07 14:14:00.795546919 -0500
+++ src/SUPDRV.h	2008-08-07 14:20:09.886302403 -0500
@@ -101,7 +101,6 @@
 #   else /* older kernels */
 #       include <asm/semaphore.h>
 #   endif /* older kernels */
-#   include <asm/semaphore.h>
 #   include <linux/timer.h>
 
 #   if 0