Searched refs:VMX_GUEST_CR4 (Results 1 – 4 of 4) sorted by relevance
419 exec_vmwrite(VMX_GUEST_CR4, tmp); in vmx_write_cr4()554 (exec_vmread(VMX_GUEST_CR4) & cr4_passthru_mask); in vcpu_get_cr4()
359 VMX_GUEST_CR4,1340 exec_vmwrite(VMX_GUEST_CR4, vmcs12->host_cr4); in set_vmcs01_guest_state()
372 ret = VMX_GUEST_CR4; in get_vmcs_field()
186 #define VMX_GUEST_CR4 0x00006804U macro
Completed in 16 milliseconds