arch/x86/kvm/svm/svm.c

1541

kvm_register_mark_available(vcpu, reg);

arch/x86/kvm/vmx/nested.c

4990

kvm_register_mark_available(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/vmx.c

1620

kvm_register_mark_available(vcpu, VCPU_REG_RFLAGS);

arch/x86/kvm/vmx/vmx.c

1643

kvm_register_mark_available(vcpu, VCPU_REG_RFLAGS);

arch/x86/kvm/vmx/vmx.c

2626

kvm_register_mark_available(vcpu, reg);

arch/x86/kvm/vmx/vmx.c

3408

kvm_register_mark_available(vcpu, VCPU_REG_PDPTR);

arch/x86/kvm/vmx/vmx.c

3451

kvm_register_mark_available(vcpu, VCPU_REG_CR0);

arch/x86/kvm/vmx/vmx.c

3596

kvm_register_mark_available(vcpu, VCPU_REG_CR4);

arch/x86/kvm/vmx/vmx.c

5065

kvm_register_mark_available(vcpu, VCPU_REG_SEGMENTS);

arch/x86/kvm/vmx/vmx.c

7526

kvm_register_mark_available(vcpu, VCPU_REG_EXIT_INFO_1);

arch/x86/kvm/vmx/vmx.c

7528

kvm_register_mark_available(vcpu, VCPU_REG_EXIT_INFO_2);

arch/x86/kvm/vmx/vmx.c

854

kvm_register_mark_available(&vmx->vcpu, VCPU_REG_SEGMENTS);