rtc_pl031_next_match_ticks
ticks = rtc_pl031_next_match_ticks(sc);
(uint64_t)ticks >= rtc_pl031_next_match_ticks(sc);