Symbol: VCPU_REGS_R12
arch/x86/kvm/svm/sev.c
911
save->r12 = svm->vcpu.arch.regs[VCPU_REGS_R12];
arch/x86/kvm/svm/svm.c
3507
"r12:", vcpu->arch.regs[VCPU_REGS_R12],
arch/x86/kvm/vmx/tdx.c
1033
BIT_ULL(VCPU_REGS_R12) | \