extern char s[];
extern int waitInt;
extern void itoa(int,char*);

void SwitchOnIt(int it)
{
int i,ti;
int *timer=(int*)0xB0000000;

   /* Identify the active interrupt of highest priority */
   for (i=0; i<8; i++)
      if (it&(1<<i))
         break;

   switch (i) {
      case 0:   /* SwIt 0 */
         break;
      case 1:   /* SwIt 1 */
         break;
      case 2: { /* It 0   */
         int CPU = procnum() << 2;
         int current_time=timer[0 | CPU];
         uputs("timer interrupt acknowledge at :",procnum());
	 itoa(current_time,s);
	 uputs(s,procnum());
	 uputs("",procnum());
	 timer[3 | CPU] = 0; // reset timer irq
         break;
      }           
      case 3:   /* It 1   */
         break;           
      case 4:   /* It 2   */
         break;           
      case 5:   /* It 3   */
         break;           
      case 6:   /* It 4   */
         break;           
      case 7:   /* It 5   */
         break;
      default:
         break;
   }
}