Changeset 13196

Timestamp:

10/13/08 10:49:50 (3 months ago)

Author:

vboxsync

Message:

Compile fix

Files:

• trunk/include/VBox/hwacc_vmx.h (modified) (2 diffs)

trunk/include/VBox/hwacc_vmx.h

@@ -1380 +1380 @@
- * @returns VBox status code
- * @param   idxField        VMCS index
- * @param   u64Val          16, 32 or 64 bits value
- */
-#if HC_ARCH_BITS == 64
-DECLASM(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val);
-#else
-DECLINLINE(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val)
-{
-    int rc;
-
-    rc  = VMXWriteVMCS32(idxField,    u64Val);
-    rc |= VMXWriteVMCS32(idxField+1,  u64Val >> 32ULL);
-    return rc;
-}
-#endif
-
-/**
- * Executes VMWRITE
- *
- * @returns VBox status code
- * @param   idxField        VMCS index
- * @param   u32Val          32 bits value
- */
@@ -1448 +1428 @@
-    }
-# endif
+    return rc;
+}
+#endif
+
+/**
+ * Executes VMWRITE
+ *
+ * @returns VBox status code
+ * @param   idxField        VMCS index
+ * @param   u64Val          16, 32 or 64 bits value
+ */
+#if HC_ARCH_BITS == 64
+DECLASM(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val);
+#else
+DECLINLINE(int) VMXWriteVMCS64(uint32_t idxField, uint64_t u64Val)
+{
+    int rc;
+
+    rc  = VMXWriteVMCS32(idxField,    u64Val);
+    rc |= VMXWriteVMCS32(idxField+1,  u64Val >> 32ULL);
-    return rc;
-}