Lines Matching refs:Int
58 Int nInUse;
67 Int nInUse;
68 Int level; /* 3 .. 1 on 32-bit, 7 .. 1 on 64-bit */
75 Int curr_ix;
77 Int resume_point; /* 1, 2 or 3 */
87 Int isUsed;
118 static void swa_PUSH ( SparseWA* swa, UWord partial_key, Int curr_ix, in swa_PUSH()
119 void* curr_nd, Int resume_point ) in swa_PUSH()
121 Int sp = swa->isUsed; in swa_PUSH()
122 const Int _3_or_7 = sizeof(void*) - 1; in swa_PUSH()
133 UWord* partial_key, Int* curr_ix, in swa_POP()
134 void** curr_nd, Int* resume_point ) in swa_POP()
136 Int sp = swa->isUsed - 1; in swa_POP()
137 const Int _3_or_7 = sizeof(void*) - 1; in swa_POP()
149 static LevelN* swa_new_LevelN ( const SparseWA* swa, Int level ) in swa_new_LevelN()
180 Int curr_ix; in VG_()
182 Int resume_point; in VG_()
254 Int i; in swa_deleteSWA_wrk()
280 Int i; in VG_()
284 const Int _3_or_7 = sizeof(void*) - 1; in VG_()
312 Int i; in VG_()
317 const Int _3_or_7 = sizeof(void*) - 1; in VG_()
370 Int i; in VG_()
374 const Int _3_or_7 = sizeof(void*) - 1; in VG_()
378 Int nVisited = 0; in VG_()
435 Int i; in swa_sizeSWA_wrk()