1  
       2  #include <stdint.h>
       3  
       4  /* Declare the I/O registers.  */
       5  extern volatile __regio_symbol uint32_t __R30;
       6  extern volatile __regio_symbol uint32_t __R31;
       7  
       1  
       2  #include <stdint.h>
       3  
       4  /* Declare the I/O registers.  */
       5  extern volatile __regio_symbol uint32_t __R30;
       6  extern volatile __regio_symbol uint32_t __R31;
       7