NKEVENT_CALLS
ATF_REQUIRE(r1 == NKEVENT_CALLS);
ATF_REQUIRE(r2 == NKEVENT_CALLS);
for (i = 0; i < NKEVENT_CALLS; i++) {