Searched refs:vmx_cr4_fixed0 (Results 1 – 3 of 3) sorted by relevance
71 uint64_t vmx_cr4_fixed0; member
970 ci->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0 = msr; in cpu_check_vmm_cap()
2263 want1 = (curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0) & in vcpu_reset_regs_vmx()2265 want0 = ~(curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0) & in vcpu_reset_regs_vmx()5177 mask = curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0; in vmx_handle_cr4_write()5182 curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0, in vmx_handle_cr4_write()6950 curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed0); in vmx_dump_vmcs()