source: vbox@ 9981

Name	Size	Rev	Age	Author	Last Change
trunk		9981	17 years	vboxsync	Always switch the PGM mode when we're using VT-x/AMD-v

Note: See TracBrowser for help on using the repository browser.