__vcpu_assign_sys_reg
__vcpu_assign_sys_reg(vcpu, CNTV_CTL_EL0, ctl);
__vcpu_assign_sys_reg(vcpu, CNTP_CTL_EL0, ctl);
__vcpu_assign_sys_reg(vcpu, CNTHV_CTL_EL2, ctl);
__vcpu_assign_sys_reg(vcpu, CNTHP_CTL_EL2, ctl);
__vcpu_assign_sys_reg(vcpu, CNTV_CVAL_EL0, cval);
__vcpu_assign_sys_reg(vcpu, CNTP_CVAL_EL0, cval);
__vcpu_assign_sys_reg(vcpu, CNTHV_CVAL_EL2, cval);
__vcpu_assign_sys_reg(vcpu, CNTHP_CVAL_EL2, cval);
__vcpu_assign_sys_reg(vcpu, reg, val);
__vcpu_assign_sys_reg(vcpu, SPSR_EL1, val);
__vcpu_assign_sys_reg(vcpu, FPEXC32_EL2, read_sysreg(fpexc32_el2));
__vcpu_assign_sys_reg(vcpu, vcpu_sve_zcr_elx(vcpu), zcr_el1);
__vcpu_assign_sys_reg(vcpu, DACR32_EL2, read_sysreg(dacr32_el2));
__vcpu_assign_sys_reg(vcpu, IFSR32_EL2, read_sysreg(ifsr32_el2));
__vcpu_assign_sys_reg(vcpu, DBGVCR32_EL2, read_sysreg(dbgvcr32_el2));
__vcpu_assign_sys_reg(vcpu, ZCR_EL1, read_sysreg_el1(SYS_ZCR));
__vcpu_assign_sys_reg(vcpu, FPMR, read_sysreg_s(SYS_FPMR));
__vcpu_assign_sys_reg(vcpu, VBAR_EL1, read_sysreg_el1(SYS_VBAR));
__vcpu_assign_sys_reg(vcpu, CNTP_CVAL_EL0, val);
__vcpu_assign_sys_reg(vcpu, CNTHP_CVAL_EL2, val);
__vcpu_assign_sys_reg(vcpu, PAR_EL1, read_sysreg(par_el1));
__vcpu_assign_sys_reg(vcpu, TPIDR_EL1, read_sysreg(tpidr_el1));
__vcpu_assign_sys_reg(vcpu, ESR_EL2, read_sysreg_el1(SYS_ESR));
__vcpu_assign_sys_reg(vcpu, AFSR0_EL2, read_sysreg_el1(SYS_AFSR0));
__vcpu_assign_sys_reg(vcpu, AFSR1_EL2, read_sysreg_el1(SYS_AFSR1));
__vcpu_assign_sys_reg(vcpu, FAR_EL2, read_sysreg_el1(SYS_FAR));
__vcpu_assign_sys_reg(vcpu, MAIR_EL2, read_sysreg_el1(SYS_MAIR));
__vcpu_assign_sys_reg(vcpu, VBAR_EL2, read_sysreg_el1(SYS_VBAR));
__vcpu_assign_sys_reg(vcpu, CONTEXTIDR_EL2, read_sysreg_el1(SYS_CONTEXTIDR));
__vcpu_assign_sys_reg(vcpu, AMAIR_EL2, read_sysreg_el1(SYS_AMAIR));
__vcpu_assign_sys_reg(vcpu, SCTLR_EL2, read_sysreg_el1(SYS_SCTLR));
__vcpu_assign_sys_reg(vcpu, TTBR0_EL2, read_sysreg_el1(SYS_TTBR0));
__vcpu_assign_sys_reg(vcpu, TTBR1_EL2, read_sysreg_el1(SYS_TTBR1));
__vcpu_assign_sys_reg(vcpu, TCR_EL2, read_sysreg_el1(SYS_TCR));
__vcpu_assign_sys_reg(vcpu, TCR2_EL2, read_sysreg_el1(SYS_TCR2));
__vcpu_assign_sys_reg(vcpu, PIRE0_EL2, read_sysreg_el1(SYS_PIRE0));
__vcpu_assign_sys_reg(vcpu, PIR_EL2, read_sysreg_el1(SYS_PIR));
__vcpu_assign_sys_reg(vcpu, POR_EL2, read_sysreg_el1(SYS_POR));
__vcpu_assign_sys_reg(vcpu, SP_EL2, read_sysreg(sp_el1));
__vcpu_assign_sys_reg(vcpu, ELR_EL2, read_sysreg_el1(SYS_ELR));
__vcpu_assign_sys_reg(vcpu, SPSR_EL2, read_sysreg_el1(SYS_SPSR));
__vcpu_assign_sys_reg(vcpu, SCTLR2_EL2, read_sysreg_el1(SYS_SCTLR2));
__vcpu_assign_sys_reg(vcpu, MDCR_EL2, val);
__vcpu_assign_sys_reg(vcpu, reg, val);
__vcpu_assign_sys_reg(vcpu, counter_index_to_reg(select_idx), val);
__vcpu_assign_sys_reg(vcpu, reg, val);
__vcpu_assign_sys_reg(vcpu, counter_index_to_reg(i), reg);
__vcpu_assign_sys_reg(vcpu, PMCR_EL0, (val & ~(ARMV8_PMU_PMCR_C | ARMV8_PMU_PMCR_P)));
__vcpu_assign_sys_reg(vcpu, reg, (data & kvm_pmu_evtyper_mask(vcpu->kvm)));
__vcpu_assign_sys_reg(vcpu, PMSELR_EL0, p->regval);
__vcpu_assign_sys_reg(vcpu, r->reg, val & mask);
__vcpu_assign_sys_reg(vcpu, PMUSERENR_EL0,
__vcpu_assign_sys_reg(vcpu, r->reg, val);
__vcpu_assign_sys_reg(vcpu, rd->reg, val);
__vcpu_assign_sys_reg(vcpu, r->reg, clidr);
__vcpu_assign_sys_reg(vcpu, rd->reg, val);
__vcpu_assign_sys_reg(vcpu, SP_EL1, p->regval);
__vcpu_assign_sys_reg(vcpu, SPSR_EL1, p->regval);
__vcpu_assign_sys_reg(vcpu, CNTKCTL_EL1, p->regval);
__vcpu_assign_sys_reg(vcpu, r->reg, val);
__vcpu_assign_sys_reg(vcpu, ZCR_EL2, vq - 1);
__vcpu_assign_sys_reg(vcpu, MDCR_EL2, val);
__vcpu_assign_sys_reg(vcpu, r->reg, vcpu->kvm->arch.nr_pmu_counters);
__vcpu_assign_sys_reg(vcpu, reg, val);
__vcpu_assign_sys_reg(vcpu, r->reg, val);
__vcpu_assign_sys_reg(vcpu, rd->reg, val);
__vcpu_assign_sys_reg(vcpu, r->reg, pmcr);
__vcpu_assign_sys_reg(vcpu, r->reg, 0x1de7ec7edbadc0deULL);
__vcpu_assign_sys_reg(vcpu, r->reg, r->val);
__vcpu_assign_sys_reg(vcpu, r->reg, val);
__vcpu_assign_sys_reg(vcpu, ICH_LRN(i), val);
__vcpu_assign_sys_reg(vcpu, ICH_VMCR_EL2, read_sysreg_s(SYS_ICH_VMCR_EL2));
__vcpu_assign_sys_reg(vcpu, ICH_AP0RN(i), s_cpu_if->vgic_ap0r[i]);
__vcpu_assign_sys_reg(vcpu, ICH_AP1RN(i), s_cpu_if->vgic_ap1r[i]);