1 /* ISC license. */
2 
3 #include <skalibs/tai.h>
4 #include <skalibs/djbtime.h>
5 #include "djbtime-internal.h"
6 
tai_from_utc(tai_t * t,uint64_t u)7 int tai_from_utc (tai_t *t, uint64_t u)
8 {
9   leapsecs_add(&u, 0) ;
10   return tai_u64(t, u + 10) ;
11 }
12