Home
last modified time | relevance | path

Searched refs:VCPU_EXREG_CR4 (Results 1 – 4 of 4) sorted by relevance

/Linux-v6.1/arch/x86/kvm/
Dkvm_cache_regs.h157 !kvm_register_is_available(vcpu, VCPU_EXREG_CR4)) in kvm_read_cr4_bits()
158 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_CR4); in kvm_read_cr4_bits()
/Linux-v6.1/arch/x86/kvm/vmx/
Dvmx.h639 (1 << VCPU_EXREG_CR4) | \
Dvmx.c2411 case VCPU_EXREG_CR4: in vmx_cache_reg()
3318 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4()
/Linux-v6.1/arch/x86/include/asm/
Dkvm_host.h180 VCPU_EXREG_CR4, enumerator