Searched refs:catu_pidx (Results 1 – 1 of 1) sorted by relevance
187 int catu_pidx; /* Index of CATU page within the system data page */ in catu_populate_table() local194 sys_pidx = catu_pidx = 0; in catu_populate_table()213 catu_pidx * CATU_PAGE_SIZE; in catu_populate_table()219 catu_pidx = (catu_pidx + 1) % CATU_PAGES_PER_SYSPAGE; in catu_populate_table()220 if (catu_pidx == 0) in catu_populate_table()
