Searched refs:callback_reached (Results 1 – 1 of 1) sorted by relevance
16 static volatile int callback_reached = 0; variable25 callback_reached++; in swapcontext_callback()53 ATF_REQUIRE_MSG(callback_reached == 1, in ATF_TC_BODY()54 "callback failed, reached %d times", callback_reached); in ATF_TC_BODY()