platydoc-data/xnu/osfmk/i386/vmx/vmx_cpu.c421 lines · Download raw file · Source indexReferenced in 2 chaptersSource-reference indexPlatform services, power, and shared interfacesLoading source…The source viewer and download controls require JavaScript.