Searched refs:VCPU_REGS_R14 (Results 1 – 2 of 2) sorted by relevance
184 VCPU_REGS_R14 = __VCPU_REGS_R14, enumerator
845 save->r14 = svm->vcpu.arch.regs[VCPU_REGS_R14]; in sev_es_sync_vmsa()