#include "mbed.h"

Serial pc(USBTX,USBRX);


DigitalOut myled(LED1);
void initpcon()

{    

    pc.printf("in pconp\n");

    LPC_SC->PCONP =(1<<1);////power up timr

    LPC_SC->PCLKSEL0 =(0<<2)|(0<<3); ////////cclk/4=25mhz;

}

void inittimer()

{ 
   pc.printf("intimer\n")
;
    LPC_TIM0->CTCR&=~(1<<0);////init timer

    LPC_TIM0->TCR=(1<<1);////RESET TIMER

    LPC_TIM0->PR=0;

    LPC_TIM0->MR0= 3124;

    LPC_TIM0->MCR=(1<<0);///ENABLE TIMER0 INTERRUPT 

 }

 void connect()

 { 
 pc.printf("in irq\n");

    LPC_TIM0->TCR=(1<<1);///RESET TIMER

    LPC_TIM0->TCR=(1<<0);/// ENABLE TIMER

    NVIC_EnableIRQ(TIMER0_IRQn);
   
 }
 void TIMER0_IRQHandler (void)

 {    
 pc.printf("in handler\n");

    /// LPC_TIM0->TCR=(1<<0);/// ENABLE TIMER

     while(LPC_TIM0->IR&0x01!=0x01);///wait till it matches the TC value of MRO

      myled=!myled;

     //LPC_PINCON->PINSEL3^=(1<<4); //// BLINK LED

     LPC_TIM0->MCR=(1<<1); //reset mcr
}
 int main()

 {
     initpcon();

     inittimer();
     
   while(1)

     {
       connect();

       pc.printf("in main\n");
      
 }

}