sys/arch/amd64/amd64/vmm_machdep.c

2794

if (vmm_softc->mode == VMM_MODE_EPT)

sys/arch/amd64/amd64/vmm_machdep.c

2969

if (vmm_softc->mode == VMM_MODE_EPT)

sys/arch/amd64/amd64/vmm_machdep.c

305

sc->mode = VMM_MODE_EPT;

sys/arch/amd64/amd64/vmm_machdep.c

3067

if (vmm_softc->mode == VMM_MODE_EPT)

sys/arch/amd64/amd64/vmm_machdep.c

314

if (sc->mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

3391

if (vcpu->vc_virt_mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

3517

if (vmm_softc->mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

425

if (vmm_softc->mode == VMM_MODE_EPT)

sys/arch/amd64/amd64/vmm_machdep.c

5243

} else if (vmm_softc->mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

5277

} else if (vmm_softc->mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

612

if (vmm_softc->mode == VMM_MODE_EPT)

sys/arch/amd64/amd64/vmm_machdep.c

6283

if (vmm_softc->mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

6940

(sc->mode == VMM_MODE_EPT) ? "VPID" :

sys/arch/amd64/amd64/vmm_machdep.c

7443

if (vcpu->vc_virt_mode == VMM_MODE_EPT) {

sys/arch/amd64/amd64/vmm_machdep.c

920

case VMM_MODE_EPT: