it_init 46 kernel/arch/ia64/include/arch/drivers/it.h extern void it_init(void); it_init 143 kernel/arch/ia64/src/ia64.c it_init();