Searched refs:guest_owned_bits (Results 1 – 1 of 1) sorted by relevance
2215 unsigned long guest_owned_bits; in vmx_cache_reg() local2231 guest_owned_bits = vcpu->arch.cr0_guest_owned_bits; in vmx_cache_reg()2233 vcpu->arch.cr0 &= ~guest_owned_bits; in vmx_cache_reg()2234 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg()2242 guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_cache_reg()2244 vcpu->arch.cr4 &= ~guest_owned_bits; in vmx_cache_reg()2245 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & guest_owned_bits; in vmx_cache_reg()
