Home
last modified time | relevance | path

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

/linux/arch/x86/kvm/
H A Dkvm_cache_regs.h195 !kvm_register_is_available(vcpu, VCPU_EXREG_CR4)) in kvm_read_cr4_bits()
196 kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR4); in kvm_read_cr4_bits()
/linux/arch/x86/include/asm/
H A Dkvm_host.h208 VCPU_EXREG_CR4, enumerator
/linux/arch/x86/kvm/vmx/
H A Dvmx.c2631 case VCPU_EXREG_CR4: in vmx_cache_reg()
3567 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4()