idt_init 165 kernel/arch/amd64/src/pm.c void idt_init(void) idt_init 164 kernel/arch/ia32/src/pm.c void idt_init(void)