Symbol: VCPU_REGS_R9
arch/x86/kvm/svm/sev.c
908
save->r9 = svm->vcpu.arch.regs[VCPU_REGS_R9];
arch/x86/kvm/svm/svm.c
3502
"r9:", vcpu->arch.regs[VCPU_REGS_R9]);
arch/x86/kvm/vmx/tdx.c
1030
BIT_ULL(VCPU_REGS_R9) | \