Searched refs:HOST_CR4 (Results 1 – 4 of 4) sorted by relevance
284 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()349 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()
275 HOST_CR4 = 0x00006c04, enumerator
300 case HOST_CR4: in evmcs_vmread()706 case HOST_CR4: in evmcs_vmwrite()
4427 vmcs_writel(HOST_CR4, cr4); /* 22.2.3, 22.2.5 */ in vmx_set_constant_host_state()6592 vmcs_readl(HOST_CR4)); in dump_vmcs()7598 vmcs_writel(HOST_CR4, cr4); in vmx_vcpu_run()