Home
last modified time | relevance | path

Searched refs:cr4_guest_owned_bits (Results 1 – 5 of 5) sorted by relevance

/linux/arch/x86/kvm/
H A Dkvm_cache_regs.h194 if ((tmask & vcpu->arch.cr4_guest_owned_bits) && in kvm_read_cr4_bits()
/linux/arch/x86/kvm/vmx/
H A Dvmx.c2665 guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_cache_reg()
4609 vcpu->arch.cr4_guest_owned_bits = KVM_POSSIBLE_CR4_GUEST_BITS & in set_cr4_guest_host_mask()
4612 vcpu->arch.cr4_guest_owned_bits &= ~X86_CR4_TLBFLUSH_BITS; in set_cr4_guest_host_mask()
4613 vcpu->arch.cr4_guest_owned_bits &= ~X86_CR4_PDPTR_BITS; in set_cr4_guest_host_mask()
4616 vcpu->arch.cr4_guest_owned_bits &= in set_cr4_guest_host_mask()
4618 vmcs_writel(CR4_GUEST_HOST_MASK, ~vcpu->arch.cr4_guest_owned_bits); in set_cr4_guest_host_mask()
H A Dnested.c3934 /*1*/ (vmcs_readl(GUEST_CR4) & vcpu->arch.cr4_guest_owned_bits) | in vmcs12_guest_cr4()
3937 vcpu->arch.cr4_guest_owned_bits)); in vmcs12_guest_cr4()
4805 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in load_vmcs12_host_state()
4970 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in nested_vmx_restore_host_state()
H A Dtdx.c700 vcpu->arch.cr4_guest_owned_bits = -1ul; in tdx_vcpu_create()
/linux/arch/x86/include/asm/
H A Dkvm_host.h810 unsigned long cr4_guest_owned_bits; member