Symbol: VCPU_REGS_R15
arch/x86/kvm/svm/sev.c
1010
save->r15 = svm->vcpu.arch.regs[VCPU_REGS_R15];
arch/x86/kvm/svm/svm.c
3616
"r15:", vcpu->arch.regs[VCPU_REGS_R15]);
arch/x86/kvm/vmx/tdx.c
1028
BIT(VCPU_REGS_R15))