Searched refs:VCPU_REGS_RDI (Results 1 – 4 of 4) sorted by relevance
155 VCPU_REGS_RDI = __VCPU_REGS_RDI, enumerator
1021 BIT(VCPU_REGS_RDI) | \
1016 save->rdi = svm->vcpu.arch.regs[VCPU_REGS_RDI]; in sev_es_sync_vmsa()
3605 "rdi:", vcpu->arch.regs[VCPU_REGS_RDI]); in dump_vmcb()