Home
last modified time | relevance | path

Searched refs:guest_owned_bits (Results 1 - 2 of 2) sorted by relevance

/kernel/linux/linux-5.10/arch/x86/kvm/vmx/
H A Dvmx.c2314 unsigned long guest_owned_bits; in vmx_cache_reg() local
2330 guest_owned_bits = vcpu->arch.cr0_guest_owned_bits; in vmx_cache_reg()
2332 vcpu->arch.cr0 &= ~guest_owned_bits; in vmx_cache_reg()
2333 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg()
2341 guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_cache_reg()
2343 vcpu->arch.cr4 &= ~guest_owned_bits; in vmx_cache_reg()
2344 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & guest_owned_bits; in vmx_cache_reg()
/kernel/linux/linux-6.6/arch/x86/kvm/vmx/
H A Dvmx.c2474 unsigned long guest_owned_bits; in vmx_cache_reg() local
2490 guest_owned_bits = vcpu->arch.cr0_guest_owned_bits; in vmx_cache_reg()
2492 vcpu->arch.cr0 &= ~guest_owned_bits; in vmx_cache_reg()
2493 vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits; in vmx_cache_reg()
2504 guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_cache_reg()
2506 vcpu->arch.cr4 &= ~guest_owned_bits; in vmx_cache_reg()
2507 vcpu->arch.cr4 |= vmcs_readl(GUEST_CR4) & guest_owned_bits; in vmx_cache_reg()

Completed in 22 milliseconds