source: vbox@ 54650

Name	Size	Rev	Age	Author	Last Change
trunk		54650	10 years	vboxsync	SUPDrv/VMMR0: properly handle the CR4 shadow register on Linux >= 4.0

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