Searched defs:mkdi_idt_switch (Results 1 – 1 of 1) sorted by relevance
59 void (*mkdi_idt_switch)(kdi_cpusave_t *); member 81 #define mkdi_idt_switch kdi_mach.mkdi_idt_switch macro