Home
last modified time | relevance | path

Searched refs:VCPU_EXREG_CR4 (Results 1 – 4 of 4) 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/kvm/vmx/
H A Dvmx.h643 (1 << VCPU_EXREG_CR4) | \
H A Dvmx.c2623 case VCPU_EXREG_CR4: in vmx_cache_reg()
3617 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4()
/linux/arch/x86/include/asm/
H A Dkvm_host.h199 VCPU_EXREG_CR4, enumerator