Searched refs:xlp_hwtid_to_cpuid (Results 1 – 3 of 3) sorted by relevance
113 int xlp_hwtid_to_cpuid[MAXCPU]; variable247 xlp_hwtid_to_cpuid[i] = -1; in xlp_parse_mmu_options()253 xlp_hwtid_to_cpuid[i * 4 + j] = k; in xlp_parse_mmu_options()696 return (xlp_hwtid_to_cpuid[nlm_cpuid()]); in platform_processor_id()
61 extern int xlp_hwtid_to_cpuid[];
318 sched_bind(td, xlp_hwtid_to_cpuid[hwtid]); in msgring_process()