HelenOS sources

IT_DELTA           93 kernel/arch/ia64/src/drivers/it.c 	itm_write(IT_DELTA);
IT_DELTA          122 kernel/arch/ia64/src/drivers/it.c 		itm += IT_DELTA;
HelenOS homepage, sources at GitHub