Searched refs:catu_pidx (Results 1 – 1 of 1) sorted by relevance
190 int catu_pidx; /* Index of CATU page within the system data page */ in catu_populate_table() local197 sys_pidx = catu_pidx = 0; in catu_populate_table()216 catu_pidx * CATU_PAGE_SIZE; in catu_populate_table()222 catu_pidx = (catu_pidx + 1) % CATU_PAGES_PER_SYSPAGE; in catu_populate_table()223 if (catu_pidx == 0) in catu_populate_table()