rtadvd_timer_rest
rest = rtadvd_timer_rest(pfx->pfx_timer);
rest = rtadvd_timer_rest(ifi->ifi_ra_timer);
struct timespec *rtadvd_timer_rest(struct rtadvd_timer *);