Index: /trunk/src/VBox/VMM/VMMAll/IEMAllCImpl.cpp.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllCImpl.cpp.h	(revision 65912)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllCImpl.cpp.h	(revision 65913)
@@ -5882,9 +5882,4 @@
 {
     PCPUMCTX pCtx = IEM_GET_CTX(pVCpu);
-    if (!IEM_GET_GUEST_CPU_FEATURES(pVCpu)->fSvm)
-    {
-        Log2(("clgi: Not in CPUID -> #UD\n"));
-        return iemRaiseUndefinedOpcode(pVCpu);
-    }
     if (!(pCtx->msrEFER & MSR_K6_EFER_SVME))
     {
@@ -5923,9 +5918,4 @@
 {
     PCPUMCTX pCtx = IEM_GET_CTX(pVCpu);
-    if (!IEM_GET_GUEST_CPU_FEATURES(pVCpu)->fSvm)
-    {
-        Log2(("stgi: Not in CPUID -> #UD\n"));
-        return iemRaiseUndefinedOpcode(pVCpu);
-    }
     if (!(pCtx->msrEFER & MSR_K6_EFER_SVME))
     {