Changeset 13221 in vbox for trunk/src/VBox/Main/ConsoleImpl2.cpp

Timestamp:

Oct 13, 2008 2:43:54 PM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

37781

Message:

Enabled VPID (VT-x tagged TLB); default off

• Added machine & machine debugger property
• Added -vtxvpid option to VBoxManage

File:

• trunk/src/VBox/Main/ConsoleImpl2.cpp (modified) (1 diff)

trunk/src/VBox/Main/ConsoleImpl2.cpp

@@ -189 +189 @@
     hrc = pMachine->COMGETTER(HWVirtExNestedPagingEnabled)(&fEnableNestedPaging);   H();
     rc = CFGMR3InsertInteger(pRoot, "EnableNestedPaging", fEnableNestedPaging);     RC_CHECK();
+
+    /* VPID (VT-x) */
+    BOOL fEnableVPID = false;
+    hrc = pMachine->COMGETTER(HWVirtExVPIDEnabled)(&fEnableVPID);   H();
+    rc = CFGMR3InsertInteger(pRoot, "EnableVPID", fEnableVPID);     RC_CHECK();
 
     /* Physical Address Extension (PAE) */