Searched refs:have_pushed_token (Results 1 – 1 of 1) sorted by relevance
2180 static int have_pushed_token = 0; variable2207 if (have_pushed_token) { in sup_get_token()2208 have_pushed_token = 0; in sup_get_token()2314 assert(have_pushed_token == 0); in sup_pushtoken()2316 have_pushed_token = 1; in sup_pushtoken()