arch/x86/kvm/regs.h

207

if (!kvm_register_is_available(vcpu, reg))

arch/x86/kvm/regs.h

236

if (!kvm_register_is_available(vcpu, VCPU_REG_RIP))

arch/x86/kvm/regs.h

267

if (!kvm_register_is_available(vcpu, VCPU_REG_PDPTR))

arch/x86/kvm/regs.h

282

!kvm_register_is_available(vcpu, VCPU_REG_CR0))

arch/x86/kvm/regs.h

304

!kvm_register_is_available(vcpu, VCPU_REG_CR4))

arch/x86/kvm/regs.h

319

if (!kvm_register_is_available(vcpu, VCPU_REG_CR3))

arch/x86/kvm/vmx/vmx.c

1619

if (!kvm_register_is_available(vcpu, VCPU_REG_RFLAGS)) {

arch/x86/kvm/vmx/vmx.c

3469

if (!kvm_register_is_available(vcpu, VCPU_REG_CR3))

arch/x86/kvm/vmx/vmx.c

853

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