Searched refs:cpuid2pset (Results 1 – 1 of 1) sorted by relevance
1216 load_tlb_cpu_mappings(cpuset_t **cpuid2pset, uint_t *nctxs, uint64_t *md_gen) in load_tlb_cpu_mappings() argument1279 ppset = cpuid2pset[cpids[cp_idx]]; in load_tlb_cpu_mappings()1292 cpuid2pset[cpids[cp_idx]] = ppset; in load_tlb_cpu_mappings()1331 static cpuset_t **cpuid2pset = NULL; in plat_cpuid_to_mmu_ctx_info() local1351 if (current_gen != md_gen || cpuid2pset == NULL) { in plat_cpuid_to_mmu_ctx_info()1352 if (cpuid2pset == NULL) { in plat_cpuid_to_mmu_ctx_info()1353 cpuid2pset = kmem_zalloc(sizeof (cpuset_t *) * NCPU, in plat_cpuid_to_mmu_ctx_info()1359 cpuset_t *pset = cpuid2pset[idx]; in plat_cpuid_to_mmu_ctx_info()1368 cpuid2pset[id] = NULL; in plat_cpuid_to_mmu_ctx_info()1370 ASSERT(cpuid2pset[idx] == NULL); in plat_cpuid_to_mmu_ctx_info()[all …]