Searched refs:cpuid_pset (Results 1 – 1 of 1) sorted by relevance
1337 cpuset_t cpuid_pset; in plat_cpuid_to_mmu_ctx_info() local1385 cpuid_pset = *cpuid2pset[cpuid]; in plat_cpuid_to_mmu_ctx_info()1386 CPUSET_DEL(cpuid_pset, cpuid); in plat_cpuid_to_mmu_ctx_info()1390 CPUSET_FIND(cpuid_pset, id); in plat_cpuid_to_mmu_ctx_info()1402 CPUSET_DEL(cpuid_pset, id); in plat_cpuid_to_mmu_ctx_info()