Symbol: mkdi_idt_switch