vCpu for x86_64: Intel VMX virtualization support under x86_64 architecture - View it on GitHub