Searched refs:VCPU_REGS_RSI (Results 1 – 4 of 4) sorted by relevance
160 VCPU_REGS_RSI = __VCPU_REGS_RSI,154 VCPU_REGS_RSI = __VCPU_REGS_RSI, global() enumerator
1016 save->rsi = svm->vcpu.arch.regs[VCPU_REGS_RSI]; in sev_es_sync_vmsa() 3453 vcpu->arch.regs[VCPU_REGS_RSI] = kvm_ghcb_get_rsi_if_valid(svm); in sev_es_sync_from_ghcb()
3709 "rsi:", vcpu->arch.regs[VCPU_REGS_RSI], in svm_handle_exit()
1032 BIT(VCPU_REGS_RSI) | \ in tdx_load_host_xsave_state()