Symbol: VCPU_REGS_R11
arch/x86/kvm/emulate.c
2383
*reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags;
arch/x86/kvm/svm/sev.c
910
save->r11 = svm->vcpu.arch.regs[VCPU_REGS_R11];
arch/x86/kvm/svm/svm.c
3505
"r11:", vcpu->arch.regs[VCPU_REGS_R11]);
arch/x86/kvm/vmx/tdx.c
1032
BIT_ULL(VCPU_REGS_R11) | \