itm_write 93 kernel/arch/ia64/src/drivers/it.c itm_write(IT_DELTA); itm_write 129 kernel/arch/ia64/src/drivers/it.c itm_write(itm);