rtc_pl031_next_timer_msecs
mevent_timer_update(sc->mevp, rtc_pl031_next_timer_msecs(sc));
sc->mevp = mevent_add(rtc_pl031_next_timer_msecs(sc), EVF_TIMER,