write_sysreg_el0
write_sysreg_el0(0, SYS_CNTV_CTL);
write_sysreg_el0(0, SYS_CNTP_CTL);
write_sysreg_el0(cval, SYS_CNTV_CVAL);
write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTV_CTL);
write_sysreg_el0(cval, SYS_CNTP_CVAL);
write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTP_CTL);
write_sysreg_el0(val, SYS_CNTP_CVAL);
write_sysreg_el0(val + offset, SYS_CNTP_CVAL);