Searched refs:VCPU_REGS_RDI (Results 1 – 4 of 4) sorted by relevance
161 VCPU_REGS_RDI = __VCPU_REGS_RDI,155 VCPU_REGS_RDI = __VCPU_REGS_RDI, global() enumerator
1033 BIT(VCPU_REGS_RDI) | \ in tdx_load_host_xsave_state()
1017 save->rdi = svm->vcpu.arch.regs[VCPU_REGS_RDI]; in sev_es_sync_vmsa()
3710 "rdi:", vcpu->arch.regs[VCPU_REGS_RDI]); in svm_handle_exit()