text: 
  #include <typedefs.h>
  //#include <bcm4710.h>
  #include <sbextif.h>
  #include <bcmnvram.h>
  
  #define KSEG1ADDR(_a) ((unsigned long)(_a) | 0xA0000000)    
  #define LED_DIAG        0x13       
  
  #define BCM4710_EXTIF           0x1f000000      /* External Interface base address */
  #define BCM4710_EUART           (BCM4710_EXTIF + 0x00800000)
  
  int Cled(int led)
  {
  	        if(led==1)
                   *(volatile char *)(KSEG1ADDR(BCM4710_EUART)+LED_DIAG)=0xFF;
  	        else
                   *(volatile char *)(KSEG1ADDR(BCM4710_EUART)+LED_DIAG);
  }
  