Searched refs:VCPU_REGS_R12 (Results 1 – 2 of 2) sorted by relevance
165 VCPU_REGS_R12 = __VCPU_REGS_R12, enumerator
574 save->r12 = svm->vcpu.arch.regs[VCPU_REGS_R12]; in sev_es_sync_vmsa()
