static __inline__ void timer_enable_int(unsigned char ints)
This function modifies the timsk register. The value you pass via ints is device specific.
timsk
ints