Searched refs:kdi_cpu_index (Results 1 – 3 of 3) sorted by relevance
90 extern void kdi_cpu_index(void);
283 ENTRY_NP(kdi_cpu_index) function287 SET_SIZE(kdi_cpu_index)
716 kdi->mkdi_cpu_index = kdi_cpu_index; in mach_kdi_init()