sys/arch/amd64/amd64/vmm_machdep.c

1089

if (vmread(VMCS_GUEST_IA32_CR4, &crs[VCPU_REGS_CR4]))

sys/arch/amd64/amd64/vmm_machdep.c

1369

if (vmwrite(VMCS_GUEST_IA32_CR4, crs[VCPU_REGS_CR4]))

sys/arch/amd64/amd64/vmm_machdep.c

5636

if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {

sys/arch/amd64/amd64/vmm_machdep.c

5701

if (vmwrite(VMCS_GUEST_IA32_CR4, r)) {

sys/arch/amd64/amd64/vmm_machdep.c

6290

if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {

sys/arch/amd64/amd64/vmm_machdep.c

8019

vmx_dump_vmcs_field(VMCS_GUEST_IA32_CR4, "G. CR4");

sys/arch/amd64/amd64/vmm_machdep.c

8153

if (vmread(VMCS_GUEST_IA32_CR4, &r))

sys/arch/amd64/amd64/vmm_machdep.c

8575

if (vmread(VMCS_GUEST_IA32_CR4, &cr4)) {