Searched refs:mkdi_idt_switch (Results 1 – 3 of 3) sorted by relevance
59 void (*mkdi_idt_switch)(kdi_cpusave_t *); member80 #define mkdi_idt_switch kdi_mach.mkdi_idt_switch macro
97 mdb.m_kdi->mkdi_idt_switch(cpusave); in kmdb_kdi_idt_switch()
155 kdi->mkdi_idt_switch = kdi_idt_switch; in mach_kdi_init()