Searched refs:PPIndex (Results 1 – 1 of 1) sorted by relevance
1353 int PPIndex = 0; /* index of next unused table entry */ variable1360 while (i++ < PPIndex) { in AlreadyPrinted()1366 PPIndex++; in AlreadyPrinted()