Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/arch/x86/kvm/
H A Dkvm_cache_regs.h134 !kvm_register_is_available(vcpu, VCPU_EXREG_CR4)) in kvm_read_cr4_bits()
135 kvm_x86_ops.cache_reg(vcpu, VCPU_EXREG_CR4); in kvm_read_cr4_bits()
/OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/
H A Dvmx.h419 | (1 << VCPU_EXREG_CR4) in BUILD_CONTROLS_SHADOW()
H A Dvmx.c2334 case VCPU_EXREG_CR4: in vmx_cache_reg()
3241 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4()
/OK3568_Linux_fs/kernel/arch/x86/include/asm/
H A Dkvm_host.h167 VCPU_EXREG_CR4, enumerator