HelenOS sources

idt_init          176 kernel/arch/amd64/include/arch/pm.h extern void idt_init(void);
idt_init          263 kernel/arch/amd64/src/pm.c 		idt_init();
idt_init          167 kernel/arch/ia32/include/arch/pm.h extern void idt_init(void);
idt_init          278 kernel/arch/ia32/src/pm.c 		idt_init();