Searched refs:VCPU_REGS_R14 (Results 1 – 4 of 4) sorted by relevance
163 VCPU_REGS_R14, enumerator
1028 BIT(VCPU_REGS_R14) | \
1024 save->r14 = svm->vcpu.arch.regs[VCPU_REGS_R14]; in sev_es_sync_vmsa()
3620 "r14:", vcpu->arch.regs[VCPU_REGS_R14], in dump_vmcb()