Index: /trunk/include/VBox/vmm/cpum.h
===================================================================
--- /trunk/include/VBox/vmm/cpum.h	(revision 71642)
+++ /trunk/include/VBox/vmm/cpum.h	(revision 71643)
@@ -1483,5 +1483,4 @@
 }
 
-
 /**
  * Checks if the guest VMCB has virtual-interrupt masking enabled.
@@ -1501,5 +1500,4 @@
     return HMIsGuestSvmVirtIntrMasking(pVCpu, pCtx);
 }
-
 
 /**