Searched refs:VCPU_REGS_R15 (Results 1 – 3 of 3) sorted by relevance
191 VCPU_REGS_R15 = __VCPU_REGS_R15, enumerator
1036 BIT_ULL(VCPU_REGS_R15))
907 save->r15 = svm->vcpu.arch.regs[VCPU_REGS_R15]; in sev_es_sync_vmsa()