Searched refs:cr4_guest_owned_bits (Results 1 – 3 of 3) sorted by relevance
65 if (tmask & vcpu->arch.cr4_guest_owned_bits) in kvm_read_cr4_bits()
5159 ulong cr4_guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits() local5161 vcpu->arch.cr4 &= ~cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()5162 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits()6346 vmx->vcpu.arch.cr4_guest_owned_bits = KVM_CR4_GUEST_OWNED_BITS; in set_cr4_guest_host_mask()6348 vmx->vcpu.arch.cr4_guest_owned_bits |= X86_CR4_PGE; in set_cr4_guest_host_mask()6350 vmx->vcpu.arch.cr4_guest_owned_bits &= in set_cr4_guest_host_mask()6352 vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits); in set_cr4_guest_host_mask()12845 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()12848 vcpu->arch.cr4_guest_owned_bits)); in vmcs12_guest_cr4()13179 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in load_vmcs12_host_state()
510 unsigned long cr4_guest_owned_bits; member
