arch/x86/kvm/kvm_cache_regs.h

118

if (!kvm_register_is_available(vcpu, reg))

arch/x86/kvm/kvm_cache_regs.h

158

if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR))

arch/x86/kvm/kvm_cache_regs.h

173

!kvm_register_is_available(vcpu, VCPU_EXREG_CR0))

arch/x86/kvm/kvm_cache_regs.h

195

!kvm_register_is_available(vcpu, VCPU_EXREG_CR4))

arch/x86/kvm/kvm_cache_regs.h

210

if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))

arch/x86/kvm/vmx/vmx.c

1648

if (!kvm_register_is_available(vcpu, VCPU_EXREG_RFLAGS)) {

arch/x86/kvm/vmx/vmx.c

3546

if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3))

arch/x86/kvm/vmx/vmx.c

882

if (!kvm_register_is_available(&vmx->vcpu, VCPU_EXREG_SEGMENTS)) {