Searched refs:cp_idx (Results 1 – 1 of 1) sorted by relevance
1219 int tlbs_idx, cp_idx; in load_tlb_cpu_mappings() local1263 for (cp_idx = 0; cp_idx < ncp; cp_idx++) { in load_tlb_cpu_mappings()1264 mde_cookie_t c = cp[cp_idx]; in load_tlb_cpu_mappings()1266 if (md_get_prop_val(mdp, c, "id", &cpids[cp_idx])) in load_tlb_cpu_mappings()1270 nctxs[cpids[cp_idx]] = MMU_INFO_BNCTXS(nbit); in load_tlb_cpu_mappings()1277 for (cp_idx = 0; cp_idx < ncp; cp_idx++) { in load_tlb_cpu_mappings()1278 ASSERT(cpids[cp_idx] < NCPU); in load_tlb_cpu_mappings()1279 ppset = cpuid2pset[cpids[cp_idx]]; in load_tlb_cpu_mappings()1291 for (cp_idx = 0; cp_idx < ncp; cp_idx++) { in load_tlb_cpu_mappings()1292 cpuid2pset[cpids[cp_idx]] = ppset; in load_tlb_cpu_mappings()[all …]