Searched refs:xlp_cpuid_to_hwtid (Results 1 – 2 of 2) sorted by relevance
112 int xlp_cpuid_to_hwtid[MAXCPU]; variable246 xlp_cpuid_to_hwtid[i] = in xlp_parse_mmu_options()252 xlp_cpuid_to_hwtid[k] = i * 4 + j; in xlp_parse_mmu_options()593 int hwtid = xlp_cpuid_to_hwtid[cpuid]; in platform_start_ap()683 nlm_pic_send_ipi(xlp_pic_base, xlp_cpuid_to_hwtid[cpuid], in platform_ipi_send()
60 extern int xlp_cpuid_to_hwtid[];