timespec_get
int timespec_get(struct timespec *ts, int base);
ATF_REQUIRE_EQ(timespec_get(&ts2, TIME_MONOTONIC), TIME_MONOTONIC);
ATF_TP_ADD_TC(tp, timespec_get);
ATF_TC(timespec_get);
ATF_TC_HEAD(timespec_get, tc)
ATF_TC_BODY(timespec_get, tc)
ATF_REQUIRE_EQ(timespec_get(&ts, TIME_UTC), TIME_UTC);
ATF_REQUIRE_EQ(timespec_get(&ts, INT_MAX), 0);
ATF_REQUIRE_EQ(timespec_get(&ts, TIME_MONOTONIC), TIME_MONOTONIC);