vcpu_write_sys_reg
vcpu_write_sys_reg(vcpu, sctlr, r);
void vcpu_write_sys_reg(struct kvm_vcpu *, u64, enum vcpu_sysreg);
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
vcpu_write_sys_reg(vcpu, esr_el2, ESR_EL2);
vcpu_write_sys_reg(vcpu, addr, FAR_EL2);
vcpu_write_sys_reg(vcpu, val, reg);
vcpu_write_sys_reg(vcpu, val, SPSR_EL1);
vcpu_write_sys_reg(vcpu, val, SPSR_EL2);
vcpu_write_sys_reg(vcpu, vcpu_get_reg(vcpu, rt), CPTR_EL2);
vcpu_write_sys_reg(vcpu, addr, exception_far_elx(vcpu));
vcpu_write_sys_reg(vcpu, esr, exception_esr_elx(vcpu));
vcpu_write_sys_reg(vcpu, esr, exception_esr_elx(vcpu));
vcpu_write_sys_reg(vcpu, fsr, IFSR32_EL2);
vcpu_write_sys_reg(vcpu, fsr, ESR_EL1);
vcpu_write_sys_reg(vcpu, far, FAR_EL1);
vcpu_write_sys_reg(vcpu, addr, FAR_EL2);
vcpu_write_sys_reg(vcpu, esr, exception_esr_elx(vcpu));
vcpu_write_sys_reg(vcpu, esr, exception_esr_elx(vcpu));
vcpu_write_sys_reg(vcpu, esr, exception_esr_elx(vcpu));
vcpu_write_sys_reg(vcpu, vcpu->arch.fault.far_el2, FAR_EL2);
vcpu_write_sys_reg(vcpu, vcpu->arch.fault.hpfar_el2, HPFAR_EL2);
vcpu_write_sys_reg(vcpu, p->regval, reg);
vcpu_write_sys_reg(vcpu, p->regval, ELR_EL1);
vcpu_write_sys_reg(vcpu, p->regval, r->reg);
vcpu_write_sys_reg(vcpu, val, r->reg);
vcpu_write_sys_reg(vcpu, amair, AMAIR_EL1);
vcpu_write_sys_reg(vcpu, actlr, ACTLR_EL1);
vcpu_write_sys_reg(vcpu, mpidr, MPIDR_EL1);