VCPU_REGS_RSI
unsigned si = reg_read(ctxt, VCPU_REGS_RSI);
*reg_rmw(ctxt, VCPU_REGS_RSI) &= (u32)-1;
tss->si = reg_read(ctxt, VCPU_REGS_RSI);
*reg_write(ctxt, VCPU_REGS_RSI) = tss->si;
tss->esi = reg_read(ctxt, VCPU_REGS_RSI);
*reg_write(ctxt, VCPU_REGS_RSI) = tss->esi;
register_address(ctxt, VCPU_REGS_RSI);
string_addr_inc(ctxt, VCPU_REGS_RSI, &ctxt->src);
save->rsi = svm->vcpu.arch.regs[VCPU_REGS_RSI];
vcpu->arch.regs[VCPU_REGS_RSI] = kvm_ghcb_get_rsi_if_valid(svm);
"rsi:", vcpu->arch.regs[VCPU_REGS_RSI],
BIT(VCPU_REGS_RSI) | \