read_sysreg_el0
cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL);
cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL);
timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTV_CTL));
cval = read_sysreg_el0(SYS_CNTV_CVAL);
timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTP_CTL));
cval = read_sysreg_el0(SYS_CNTP_CVAL);
val = read_sysreg_el0(SYS_CNTP_CVAL);
val = read_sysreg_el0(SYS_CNTP_CTL);
val = read_sysreg_el0(SYS_CNTP_CVAL);
val = read_sysreg_el0(SYS_CNTV_CTL);
val = read_sysreg_el0(SYS_CNTV_CVAL);