TIME1_COUNT
ATF_REQUIRE(ntimer1 < TIME1_COUNT);
if (++ntimer1 == TIME1_COUNT) {
ATF_REQUIRE(ntimer1 == TIME1_COUNT);
ATF_REQUIRE(event[0].data == TIME1_COUNT ||
event[0].data == TIME1_COUNT + 1);
#define TIME1_TOTAL_SEC ((TIME1 * TIME1_COUNT) / 1000)