Searched refs:VCPU_REGS_R10 (Results 1 – 4 of 4) sorted by relevance
159 VCPU_REGS_R10, enumerator
1024 BIT(VCPU_REGS_R10) | \
1020 save->r10 = svm->vcpu.arch.regs[VCPU_REGS_R10]; in sev_es_sync_vmsa()
3614 "r10:", vcpu->arch.regs[VCPU_REGS_R10], in dump_vmcb()