vcpu_set_reg
vcpu_set_reg(vcpu, i, (u32)vcpu_get_reg(vcpu, i));
vcpu_set_reg(vcpu, 0, ~0UL);
vcpu_set_reg(vcpu, kvm_vcpu_sys_get_rt(vcpu), val);
vcpu_set_reg(vcpu, Rt, params.regval);
vcpu_set_reg(vcpu, rd, data);
vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);
vcpu_set_reg(vcpu, rt, FIELD_GET(ICH_VMCR_EL2_VPMR, vmcr));
vcpu_set_reg(vcpu, rt, val);
vcpu_set_reg(vcpu, rt, val);
vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);
vcpu_set_reg(vcpu, rt, ICC_IAR1_EL1_SPURIOUS);
vcpu_set_reg(vcpu, rt, FIELD_GET(ICH_VMCR_EL2_VENG0, vmcr));
vcpu_set_reg(vcpu, rt, FIELD_GET(ICH_VMCR_EL2_VENG1, vmcr));
vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr));
vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr));
vcpu_set_reg(vcpu, rt, val);
vcpu_set_reg(vcpu, kvm_vcpu_sys_get_rt(vcpu), val);
vcpu_set_reg(vcpu, rt, __vcpu_sys_reg(vcpu, CPTR_EL2));
vcpu_set_reg(vcpu, kvm_vcpu_dabt_get_rd(vcpu), data);
vcpu_set_reg(vcpu, i, lower_32_bits(vcpu_get_reg(vcpu, i)));
vcpu_set_reg(vcpu, 0, PSCI_RET_INTERNAL_FAILURE);
vcpu_set_reg(vcpu, 0, reset_state.r0);
vcpu_set_reg(vcpu, Rt, lower_32_bits(params.regval));
vcpu_set_reg(vcpu, Rt2, upper_32_bits(params.regval));
vcpu_set_reg(vcpu, Rt, params.regval);
vcpu_set_reg(vcpu, Rt, params->regval);
vcpu_set_reg(vcpu, Rt, params->regval);
vcpu_set_reg(vcpu, Rt, params.regval);
vcpu_set_reg(vcpu, 0, a0);
vcpu_set_reg(vcpu, 1, a1);
vcpu_set_reg(vcpu, 2, a2);
vcpu_set_reg(vcpu, 3, a3);
vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL);
vcpu_set_reg(vcpu, KVM_REG_ARM_PTIMER_CNT, cnt);
vcpu_set_reg(vcpu, KVM_REG_ARM_TIMER_CNT, cnt);
vcpu_set_reg(vcpu, reg, val);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_CLIDR_EL1), clidr);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_CTR_EL0), ctr);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(id), val);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_SP_EL1), sp);
vcpu_set_reg(vcpu, ARM64_CORE_REG(regs.pc), (uint64_t)guest_code);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(set_reg_id), max_counters_mask);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_CPACR_EL1), 3 << 20);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_SCTLR_EL1), sctlr_el1);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_TCR_EL1), tcr_el1);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_MAIR_EL1), DEFAULT_MAIR_EL1);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_TTBR0_EL1), ttbr0_el1);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_TPIDR_EL1), vcpu->id);
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_HCR_EL2),
vcpu_set_reg(vcpu, ARM64_CORE_REG(regs.pc), (uint64_t)guest_code);
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_SP_EL1), stack_vaddr + stack_size);
vcpu_set_reg(vcpu, ARM64_CORE_REG(regs.regs[i]),
vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_VBAR_EL1), (uint64_t)&vectors);
vcpu_set_reg(vcpu, RISCV_GENERAL_CSR_REG(satp), satp);
vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.pc), (unsigned long)guest_code);
vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.gp), current_gp);
vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.sp), stack_vaddr + stack_size);
vcpu_set_reg(vcpu, RISCV_GENERAL_CSR_REG(sscratch), vcpu_id);
vcpu_set_reg(vcpu, RISCV_GENERAL_CSR_REG(stvec), (unsigned long)guest_unexp_trap);
vcpu_set_reg(vcpu, id, va_arg(ap, uint64_t));
vcpu_set_reg(vcpu, RISCV_GENERAL_CSR_REG(stvec), (unsigned long)&exception_vectors);
vcpu_set_reg(vcpu, ARM64_CORE_REG(regs.pc),
vcpu_set_reg(vcpu, RISCV_CORE_REG(regs.pc), pc + 4);
vcpu_set_reg(vcpu, feature, 0);
vcpu_set_reg(vcpu, KVM_X86_REG_KVM(reg), write_val);
vcpu_set_reg(vcpu, KVM_X86_REG_MSR(msr), reset_val);