TIMER_SLACK
ATF_REQUIRE(e.tv_sec == 0 && e.tv_nsec < 100000000 + TIMER_SLACK);
ATF_REQUIRE(e.tv_sec == 0 && e.tv_nsec < 200000000 + TIMER_SLACK);
e.tv_nsec < 100000000 + TIMER_SLACK,
e.tv_nsec < 150000000 + TIMER_SLACK * 2);
e.tv_nsec < 350000000 + TIMER_SLACK * 2);
e.tv_nsec < 300000000 + TIMER_SLACK);
ATF_REQUIRE_MSG(e.tv_sec == 0 && e.tv_nsec < 50000000 + TIMER_SLACK,
e.tv_nsec < 145000000 + TIMER_SLACK);
e.tv_nsec < 600000000 + TIMER_SLACK);