Searched refs:VCPU_REGS_R13 (Results 1 – 4 of 4) sorted by relevance
162 VCPU_REGS_R13, enumerator
1027 BIT(VCPU_REGS_R13) | \
1023 save->r13 = svm->vcpu.arch.regs[VCPU_REGS_R13]; in sev_es_sync_vmsa()
3618 "r13:", vcpu->arch.regs[VCPU_REGS_R13]); in dump_vmcb()