Home
last modified time | relevance | path

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

/arch/x86/kvm/
Dkvm_cache_regs.h177 !kvm_register_is_available(vcpu, VCPU_EXREG_CR4)) in kvm_read_cr4_bits()
178 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_CR4); in kvm_read_cr4_bits()
/arch/x86/kvm/vmx/
Dvmx.h627 (1 << VCPU_EXREG_CR4) | \
Dvmx.c2505 case VCPU_EXREG_CR4: in vmx_cache_reg()
3468 kvm_register_mark_available(vcpu, VCPU_EXREG_CR4); in vmx_set_cr4()
/arch/x86/include/asm/
Dkvm_host.h183 VCPU_EXREG_CR4, enumerator