__inline__ void timer_enable_int(
	unsigned char ints)

This function modifies the timsk register. The value you pass via ints is device specific.