Index: /trunk/src/VBox/Frontends/VBoxSDL/VBoxSDL.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VBoxSDL/VBoxSDL.cpp	(revision 23734)
+++ /trunk/src/VBox/Frontends/VBoxSDL/VBoxSDL.cpp	(revision 23735)
@@ -1907,5 +1907,5 @@
     if (fHWVirt != ~0U)
     {
-        gMachine->COMSETTER(HWVirtExEnabled)(fHWVirt);
+        gMachine->SetHWVirtExProperty(HWVirtExPropertyType_Enabled, fHWVirt);
     }
     if (u32WarpDrive != 0)