Searched refs:vc_vmx_cr0_fixed1 (Results 1 – 2 of 2) sorted by relevance
870 uint64_t vc_vmx_cr0_fixed1; member
2255 vcpu->vc_vmx_cr0_fixed1 = want1; in vcpu_reset_regs_vmx()5041 mask = vcpu->vc_vmx_cr0_fixed1; in vmx_handle_cr0_write()5046 vcpu->vc_vmx_cr0_fixed1, r); in vmx_handle_cr0_write()