Index: src/VBox/Runtime/common/string/strformatrt.cpp
===================================================================
--- src/VBox/Runtime/common/string/strformatrt.cpp	(Revision 43708)
+++ src/VBox/Runtime/common/string/strformatrt.cpp	(Arbeitskopie)
@@ -1098,7 +1098,7 @@
                         REG_OUT_BIT(cr4, X86_CR4_SMXE, "SMXE");
                         REG_OUT_BIT(cr4, X86_CR4_PCIDE, "PCIDE");
                         REG_OUT_BIT(cr4, X86_CR4_OSXSAVE, "OSXSAVE");
-                        REG_OUT_BIT(cr4, X86_CR4_SMEP, "SMPE");
+                        REG_OUT_BIT(cr4, X86_CR4_SMEP, "SMEP");
                         REG_OUT_CLOSE(cr4);
                     }
                     else