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