From:  Tommi Virtanen <tv@debian.org>

  	timer_exit() isn't a public function, and doesn't even exist in 2.5.
  	2.4 calls it internally after timers. It seems timer users need not
  	do anything special.