it.h 37 kernel/arch/ia64/src/drivers/it.c #include <arch/drivers/it.h> it.h 48 kernel/arch/ia64/src/ia64.c #include <arch/drivers/it.h>