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