Searched refs:CR0_GUEST_HOST_MASK (Results 1 – 2 of 2) sorted by relevance
195 CR0_GUEST_HOST_MASK = 0x00006000, enumerator
954 vmcs_writel(CR0_GUEST_HOST_MASK, ~vcpu->arch.cr0_guest_owned_bits); in vmx_fpu_activate()965 vmcs_writel(CR0_GUEST_HOST_MASK, ~vcpu->arch.cr0_guest_owned_bits); in vmx_fpu_deactivate()2744 vmcs_writel(CR0_GUEST_HOST_MASK, ~0UL); in vmx_vcpu_setup()