Searched refs:VCPU_REGS_R15 (Results 1 – 4 of 4) sorted by relevance
164 VCPU_REGS_R15, enumerator
1029 BIT(VCPU_REGS_R15))
1025 save->r15 = svm->vcpu.arch.regs[VCPU_REGS_R15]; in sev_es_sync_vmsa()
3621 "r15:", vcpu->arch.regs[VCPU_REGS_R15]); in dump_vmcb()