Searched refs:vmx_cr4_fixed1 (Results 1 – 3 of 3) sorted by relevance
72 uint64_t vmx_cr4_fixed1; member
972 ci->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1 = msr; in cpu_check_vmm_cap()
2264 (curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1); in vcpu_reset_regs_vmx()2266 ~(curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1); in vcpu_reset_regs_vmx()5165 mask = ~(curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1); in vmx_handle_cr4_write()5170 curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1, in vmx_handle_cr4_write()6952 curcpu()->ci_vmm_cap.vcc_vmx.vmx_cr4_fixed1); in vmx_dump_vmcs()