Lines Matching defs:cp_idx
1219 int tlbs_idx, cp_idx;
1263 for (cp_idx = 0; cp_idx < ncp; cp_idx++) {
1264 mde_cookie_t c = cp[cp_idx];
1266 if (md_get_prop_val(mdp, c, "id", &cpids[cp_idx]))
1270 nctxs[cpids[cp_idx]] = MMU_INFO_BNCTXS(nbit);
1277 for (cp_idx = 0; cp_idx < ncp; cp_idx++) {
1278 ASSERT(cpids[cp_idx] < NCPU);
1279 ppset = cpuid2pset[cpids[cp_idx]];
1291 for (cp_idx = 0; cp_idx < ncp; cp_idx++) {
1292 cpuid2pset[cpids[cp_idx]] = ppset;
1293 CPUSET_ADD(*ppset, cpids[cp_idx]);