This module exports:

void TimerIntHandler( int type, Thread *current )

explained below

Look at the header file: timer.e

Module functions:

void TimerIntHandler( int type, Thread *current )

This function switches the current running thread, unless the same task has already been executed (if the timer interrupt arrives together with device interrupts, for instance, the function might be called after a context switch). Moreover, the function sends a PSEUDOCLOCK message to the SSI every 100ms.

Look at the code: timer.cc