Index: /trunk/include/VBox/err.h
===================================================================
--- /trunk/include/VBox/err.h	(revision 45384)
+++ /trunk/include/VBox/err.h	(revision 45385)
@@ -1895,4 +1895,6 @@
 /** Undefined VM exit code. */
 #define VERR_VMX_UNDEFINED_EXIT_CODE                (-4019)
+/** Resume guest execution after injecting a double-fault. */
+#define VINF_VMX_DOUBLE_FAULT                       4020
 /** @} */