void interrupt_init (void)
{

IRQ_enable(IRQ_EVT_TINT1);

 IRQ_test(IRQ_EVT_TINT1);

IRQ_nmiEnable();

 

IRQ_enable(IRQ_EVT_TINT1); 

/* Enables the timer interrupt */

}