Symbol: VCPU_REGS_R13
arch/x86/kvm/svm/sev.c
1008
save->r13 = svm->vcpu.arch.regs[VCPU_REGS_R13];
arch/x86/kvm/svm/svm.c
3613
"r13:", vcpu->arch.regs[VCPU_REGS_R13]);
arch/x86/kvm/vmx/tdx.c
1026
BIT(VCPU_REGS_R13) | \