Searched refs:HOST_CR4 (Results 1 – 5 of 5) sorted by relevance
142 FIELD(HOST_CR4, host_cr4),
38 EVMCS1_FIELD(HOST_CR4, host_cr4,
4158 vmcs_writel(HOST_CR4, cr4); /* 22.2.3, 22.2.5 */ in vmx_set_constant_host_state()6014 vmcs_readl(HOST_CR4)); in dump_vmcs()6877 vmcs_writel(HOST_CR4, cr4); in vmx_vcpu_run()
3097 vmcs_writel(HOST_CR4, cr4); in nested_vmx_check_vmentry_hw()
333 HOST_CR4 = 0x00006c04, enumerator