mbed library sources

Fork of mbed-src by mbed official

Files at this revision

API Documentation at this revision

Comitter:
mbed_official
Date:
Wed Aug 27 08:45:06 2014 +0100
Parent:
299:fb529cc9bc22
Child:
301:4e630f98f604
Commit message:
Synchronized with git revision 90467175c04ad81c20cdf7b2ddb86c54f5f3dcbb

Full URL: https://github.com/mbedmicro/mbed/commit/90467175c04ad81c20cdf7b2ddb86c54f5f3dcbb/

Changed in this revision

targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/analogin_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_irq_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/i2c_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pinmap.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/port_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pwmout_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/serial_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/sleep.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/spi_api.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/us_ticker.c Show annotated file Show diff for this revision Revisions of this file
targets/hal/TARGET_NXP/TARGET_LPC43XX/us_ticker.c Show annotated file Show diff for this revision Revisions of this file
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/analogin_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/analogin_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -29,45 +29,47 @@
     {p4, ADC0_0, 32},
     {p5, ADC0_0, 64},
     {p6, ADC0_0, 128},
-    {NC   , NC    , 0}
+    {NC, NC, 0}
 };
 
-void analogin_init(analogin_t *obj, PinName pin) {
-    int analogInputPin=0;
-    const PinMap *map = PinMap_ADC;
-    
+void analogin_init(analogin_t *obj, PinName pin)
+{
+    int analogInputPin = 0;
+    const PinMap *map  = PinMap_ADC;
+
     obj->adc = (ADCName)pinmap_peripheral(pin, PinMap_ADC); //(NRF_ADC_Type *)
     MBED_ASSERT(obj->adc != (ADCName)NC);
-        
+
     while (map->pin != NC) {
-        if (map->pin == pin){
+        if (map->pin == pin) {
             analogInputPin = map->function;
             break;
         }
         map++;
     }
     obj->adc_pin = (uint8_t)analogInputPin;
-    
+
     NRF_ADC->ENABLE = ADC_ENABLE_ENABLE_Enabled;
     NRF_ADC->CONFIG = (ADC_CONFIG_RES_10bit << ADC_CONFIG_RES_Pos) |
-                      (ADC_CONFIG_INPSEL_AnalogInputOneThirdPrescaling<< ADC_CONFIG_INPSEL_Pos) |
+                      (ADC_CONFIG_INPSEL_AnalogInputOneThirdPrescaling << ADC_CONFIG_INPSEL_Pos) |
                       (ADC_CONFIG_REFSEL_SupplyOneThirdPrescaling << ADC_CONFIG_REFSEL_Pos) |
                       (analogInputPin << ADC_CONFIG_PSEL_Pos) |
                       (ADC_CONFIG_EXTREFSEL_None << ADC_CONFIG_EXTREFSEL_Pos);
 }
 
-uint16_t analogin_read_u16(analogin_t *obj) {
-    NRF_ADC->CONFIG &= ~ADC_CONFIG_PSEL_Msk;
-    NRF_ADC->CONFIG |= obj->adc_pin << ADC_CONFIG_PSEL_Pos;
+uint16_t analogin_read_u16(analogin_t *obj)
+{
+    NRF_ADC->CONFIG     &= ~ADC_CONFIG_PSEL_Msk;
+    NRF_ADC->CONFIG     |= obj->adc_pin << ADC_CONFIG_PSEL_Pos;
     NRF_ADC->TASKS_START = 1;
-    while ( ( (NRF_ADC->BUSY & ADC_BUSY_BUSY_Msk) >> ADC_BUSY_BUSY_Pos) == ADC_BUSY_BUSY_Busy)
-    {
+    while (((NRF_ADC->BUSY & ADC_BUSY_BUSY_Msk) >> ADC_BUSY_BUSY_Pos) == ADC_BUSY_BUSY_Busy) {
     }
-    
+
     return (uint16_t)NRF_ADC->RESULT; // 10 bit
 }
 
-float analogin_read(analogin_t *obj) {
+float analogin_read(analogin_t *obj)
+{
     uint16_t value = analogin_read_u16(obj);
     return (float)value * (1.0f / (float)ADC_RANGE);
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -17,10 +17,12 @@
 #include "gpio_api.h"
 #include "pinmap.h"
 
-void gpio_init(gpio_t *obj, PinName pin) {
+void gpio_init(gpio_t *obj, PinName pin)
+{
     obj->pin = pin;
-    if (pin == (PinName)NC)
+    if (pin == (PinName)NC) {
         return;
+    }
 
     obj->mask = (1ul << pin);
 
@@ -30,14 +32,16 @@
     obj->reg_dir = &NRF_GPIO->DIR;
 }
 
-void gpio_mode(gpio_t *obj, PinMode mode) {
+void gpio_mode(gpio_t *obj, PinMode mode)
+{
     pin_mode(obj->pin, mode);
 }
 
-void gpio_dir(gpio_t *obj, PinDirection direction) {
+void gpio_dir(gpio_t *obj, PinDirection direction)
+{
     MBED_ASSERT(obj->pin != (PinName)NC);
     switch (direction) {
-        case PIN_INPUT :
+        case PIN_INPUT:
             NRF_GPIO->PIN_CNF[obj->pin] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                         | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
                                         | (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos)
@@ -52,4 +56,3 @@
             break;
     }
 }
-
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_irq_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/gpio_irq_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -23,103 +23,105 @@
 
 static uint32_t channel_ids[CHANNEL_NUM] = {0}; //each pin will be given an id, if id is 0 the pin can be ignored.
 static uint8_t channel_enabled[CHANNEL_NUM] = {0};
-static uint32_t  portRISE= 0; 
-static uint32_t  portFALL= 0; 
+static uint32_t portRISE = 0;
+static uint32_t portFALL = 0;
 static gpio_irq_handler irq_handler;
 
 #ifdef __cplusplus
 extern "C" {
-#endif 
-void GPIOTE_IRQHandler(void){
-    volatile uint32_t newVal = NRF_GPIO->IN;    
-    
-    if ( (NRF_GPIOTE->EVENTS_PORT != 0) && ( (NRF_GPIOTE->INTENSET & GPIOTE_INTENSET_PORT_Msk) != 0) ){            
-        NRF_GPIOTE->EVENTS_PORT = 0;                
-        
-        for(uint8_t i=0;i<31;i++){
-            if(channel_ids[i]>0){
-                if(channel_enabled[i]){    
+#endif
+void GPIOTE_IRQHandler(void)
+{
+    volatile uint32_t newVal = NRF_GPIO->IN;
+
+    if ((NRF_GPIOTE->EVENTS_PORT != 0) && ((NRF_GPIOTE->INTENSET & GPIOTE_INTENSET_PORT_Msk) != 0)) {
+        NRF_GPIOTE->EVENTS_PORT = 0;
+
+        for (uint8_t i = 0; i<31; i++) {
+            if (channel_ids[i]>0) {
+                if (channel_enabled[i]) {
                     if( ((newVal>>i)&1)  && ( ( (NRF_GPIO->PIN_CNF[i] >>GPIO_PIN_CNF_SENSE_Pos) & GPIO_PIN_CNF_SENSE_Low) != GPIO_PIN_CNF_SENSE_Low) && ( (portRISE>>i)&1) ){
-                            irq_handler(channel_ids[i], IRQ_RISE);            
-                    }                    
-                    else if( ( ((newVal>>i)&1) == 0) && ( ( (NRF_GPIO->PIN_CNF[i] >>GPIO_PIN_CNF_SENSE_Pos)&GPIO_PIN_CNF_SENSE_Low) == GPIO_PIN_CNF_SENSE_Low) && ( (portFALL>>i)&1) ){
-                            irq_handler(channel_ids[i], IRQ_FALL);
-                    }                    
+                        irq_handler(channel_ids[i], IRQ_RISE);
+                    } else if ((((newVal >> i) & 1) == 0) &&
+                               (((NRF_GPIO->PIN_CNF[i] >> GPIO_PIN_CNF_SENSE_Pos) & GPIO_PIN_CNF_SENSE_Low) == GPIO_PIN_CNF_SENSE_Low) &&
+                               ((portFALL >> i) & 1)) {
+                        irq_handler(channel_ids[i], IRQ_FALL);
+                    }
                 }
-                
-                if(NRF_GPIO->PIN_CNF[i] &GPIO_PIN_CNF_SENSE_Msk){
+
+                if (NRF_GPIO->PIN_CNF[i] & GPIO_PIN_CNF_SENSE_Msk) {
                     NRF_GPIO->PIN_CNF[i] &= ~(GPIO_PIN_CNF_SENSE_Msk);
-                    
-                    if(newVal>>i &1){
-                        NRF_GPIO->PIN_CNF[i] |= (GPIO_PIN_CNF_SENSE_Low     << GPIO_PIN_CNF_SENSE_Pos) ;
-                    }
-                    else{
-                        NRF_GPIO->PIN_CNF[i] |= (GPIO_PIN_CNF_SENSE_High     << GPIO_PIN_CNF_SENSE_Pos) ;
+
+                    if (newVal >> i & 1) {
+                        NRF_GPIO->PIN_CNF[i] |= (GPIO_PIN_CNF_SENSE_Low << GPIO_PIN_CNF_SENSE_Pos);
+                    } else {
+                        NRF_GPIO->PIN_CNF[i] |= (GPIO_PIN_CNF_SENSE_High << GPIO_PIN_CNF_SENSE_Pos);
                     }
                 }
             }
-        }                
-    }
-}
-#ifdef __cplusplus
-}
-#endif 
-
-int gpio_irq_init(gpio_irq_t *obj, PinName pin, gpio_irq_handler handler, uint32_t id) {
-    if (pin == NC) {
-        return -1;
-    }
-    
-    irq_handler = handler;
-    obj->ch = pin;    
-    NRF_GPIOTE->EVENTS_PORT  = 0;    
-    channel_ids[pin]     = id;
-    channel_enabled[pin] = 1;
-    NRF_GPIOTE->INTENSET = GPIOTE_INTENSET_PORT_Set<<GPIOTE_INTENSET_PORT_Pos;
-    
-    NVIC_SetPriority(GPIOTE_IRQn, 3);
-    NVIC_EnableIRQ  (GPIOTE_IRQn);    
-    return 0;
-}
-
-void gpio_irq_free(gpio_irq_t *obj) {
-    channel_ids[obj->ch] = 0;
-}
-
-void gpio_irq_set(gpio_irq_t *obj, gpio_irq_event event, uint32_t enable) {   
-    NRF_GPIO->PIN_CNF[obj->ch] &= ~(GPIO_PIN_CNF_SENSE_Msk);
-    if(enable){
-        if(event == IRQ_RISE){
-            portRISE |= (1<<obj->ch);
-        }
-        else if(event == IRQ_FALL){
-            portFALL |= (1<<obj->ch);
-        }        
-    }
-    else{
-        if(event == IRQ_RISE){
-            portRISE &= ~(1<<obj->ch);
-        }
-        else if(event == IRQ_FALL){
-            portFALL &= ~(1<<obj->ch);
-        }        
-        
-    } 
-       
-    if( ( (portRISE>>obj->ch) & 1) || ( (portFALL>>obj->ch) & 1)  ){            
-        if((NRF_GPIO->IN>>obj->ch)&1){
-            NRF_GPIO->PIN_CNF[obj->ch] |= (GPIO_PIN_CNF_SENSE_Low     << GPIO_PIN_CNF_SENSE_Pos);// | (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos);   
-        }
-        else{
-            NRF_GPIO->PIN_CNF[obj->ch] |= (GPIO_PIN_CNF_SENSE_High     << GPIO_PIN_CNF_SENSE_Pos) ;//| (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos);
         }
     }
 }
 
-void gpio_irq_enable(gpio_irq_t *obj) {
+#ifdef __cplusplus
+}
+#endif
+
+int gpio_irq_init(gpio_irq_t *obj, PinName pin, gpio_irq_handler handler, uint32_t id)
+{
+    if (pin == NC) {
+        return -1;
+    }
+
+    irq_handler             = handler;
+    obj->ch                 = pin;
+    NRF_GPIOTE->EVENTS_PORT = 0;
+    channel_ids[pin]        = id;
+    channel_enabled[pin]    = 1;
+    NRF_GPIOTE->INTENSET    = GPIOTE_INTENSET_PORT_Set << GPIOTE_INTENSET_PORT_Pos;
+
+    NVIC_SetPriority(GPIOTE_IRQn, 3);
+    NVIC_EnableIRQ  (GPIOTE_IRQn);
+    return 0;
+}
+
+void gpio_irq_free(gpio_irq_t *obj)
+{
+    channel_ids[obj->ch] = 0;
+}
+
+void gpio_irq_set(gpio_irq_t *obj, gpio_irq_event event, uint32_t enable)
+{
+    NRF_GPIO->PIN_CNF[obj->ch] &= ~(GPIO_PIN_CNF_SENSE_Msk);
+    if (enable) {
+        if (event == IRQ_RISE) {
+            portRISE |= (1 << obj->ch);
+        } else if (event == IRQ_FALL) {
+            portFALL |= (1 << obj->ch);
+        }
+    } else {
+        if (event == IRQ_RISE) {
+            portRISE &= ~(1 << obj->ch);
+        } else if (event == IRQ_FALL) {
+            portFALL &= ~(1 << obj->ch);
+        }
+    }
+
+    if (((portRISE >> obj->ch) & 1) || ((portFALL >> obj->ch) & 1)) {
+        if ((NRF_GPIO->IN >> obj->ch) & 1) {
+            NRF_GPIO->PIN_CNF[obj->ch] |= (GPIO_PIN_CNF_SENSE_Low << GPIO_PIN_CNF_SENSE_Pos);    // | (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos);
+        } else {
+            NRF_GPIO->PIN_CNF[obj->ch] |= (GPIO_PIN_CNF_SENSE_High << GPIO_PIN_CNF_SENSE_Pos);     //| (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos);
+        }
+    }
+}
+
+void gpio_irq_enable(gpio_irq_t *obj)
+{
     channel_enabled[obj->ch] = 1;
 }
 
-void gpio_irq_disable(gpio_irq_t *obj) {
+void gpio_irq_disable(gpio_irq_t *obj)
+{
     channel_enabled[obj->ch] = 0;
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/i2c_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/i2c_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -21,175 +21,187 @@
 static const PinMap PinMap_I2C_SDA[] = {
     {p22, I2C_0, 1},
     {p13, I2C_1, 2},
-    {NC  , NC   , 0}
+    {NC, NC, 0}
 };
 
 static const PinMap PinMap_I2C_SCL[] = {
     {p20, I2C_0, 1},
     {p15, I2C_1, 2},
-    {NC  , NC,    0}
+    {NC, NC,    0}
 };
 
-uint8_t addrSet=0;
+uint8_t addrSet = 0;
 
-void i2c_interface_enable(i2c_t *obj){
+void i2c_interface_enable(i2c_t *obj)
+{
     obj->i2c->ENABLE = (TWI_ENABLE_ENABLE_Enabled << TWI_ENABLE_ENABLE_Pos);
 }
 
-void twi_master_init(i2c_t *obj, PinName sda, PinName scl, int frequency) {
-    NRF_GPIO->PIN_CNF[scl]  = ((GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos) |
-                               (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos) |
-                               (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos) |
-                               (GPIO_PIN_CNF_DRIVE_S0D1 << GPIO_PIN_CNF_DRIVE_Pos) |
-                               (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos));
+void twi_master_init(i2c_t *obj, PinName sda, PinName scl, int frequency)
+{
+    NRF_GPIO->PIN_CNF[scl] = ((GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos) |
+                              (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos) |
+                              (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos) |
+                              (GPIO_PIN_CNF_DRIVE_S0D1 << GPIO_PIN_CNF_DRIVE_Pos) |
+                              (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos));
 
-    NRF_GPIO->PIN_CNF[sda]  = ((GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos) |
-                               (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos) |
-                               (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos) |
-                               (GPIO_PIN_CNF_DRIVE_S0D1 << GPIO_PIN_CNF_DRIVE_Pos) |
-                               (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos));
+    NRF_GPIO->PIN_CNF[sda] = ((GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos) |
+                              (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos) |
+                              (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos) |
+                              (GPIO_PIN_CNF_DRIVE_S0D1 << GPIO_PIN_CNF_DRIVE_Pos) |
+                              (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos));
 
-    obj->i2c->PSELSCL               = scl;
-    obj->i2c->PSELSDA               = sda;
+    obj->i2c->PSELSCL = scl;
+    obj->i2c->PSELSDA = sda;
     // set default frequency at 100k
     i2c_frequency(obj, frequency);
     i2c_interface_enable(obj);
 }
-void i2c_init(i2c_t *obj, PinName sda, PinName scl) {
+
+void i2c_init(i2c_t *obj, PinName sda, PinName scl)
+{
     // determine the SPI to use
     I2CName i2c_sda = (I2CName)pinmap_peripheral(sda, PinMap_I2C_SDA);
     I2CName i2c_scl = (I2CName)pinmap_peripheral(scl, PinMap_I2C_SCL);
-    I2CName i2c     = (I2CName)pinmap_merge(i2c_sda,i2c_scl);
-    obj->i2c        = (NRF_TWI_Type            *)i2c;
-    
+    I2CName i2c     = (I2CName)pinmap_merge(i2c_sda, i2c_scl);
+    obj->i2c = (NRF_TWI_Type *)i2c;
+
     MBED_ASSERT((int)obj->i2c != NC);
 
-    obj->scl=scl;
-    obj->sda=sda;
+    obj->scl               = scl;
+    obj->sda               = sda;
     obj->i2c->EVENTS_ERROR = 0;
     obj->i2c->ENABLE       = TWI_ENABLE_ENABLE_Disabled << TWI_ENABLE_ENABLE_Pos;
     obj->i2c->POWER        = 0;
-    
-    for(int i=0;i<100;i++){
+
+    for (int i = 0; i<100; i++) {
     }
-    
-    obj->i2c->POWER        = 1;
-    twi_master_init(obj,sda,scl,100000);
+
+    obj->i2c->POWER = 1;
+    twi_master_init(obj, sda, scl, 100000);
 }
-void i2c_reset(i2c_t *obj) {
+
+void i2c_reset(i2c_t *obj)
+{
     obj->i2c->EVENTS_ERROR = 0;
     obj->i2c->ENABLE       = TWI_ENABLE_ENABLE_Disabled << TWI_ENABLE_ENABLE_Pos;
     obj->i2c->POWER        = 0;
-    for(int i=0;i<100;i++){
+    for (int i = 0; i<100; i++) {
     }
-    
-    obj->i2c->POWER        = 1;
-    twi_master_init(obj,obj->sda,obj->scl,obj->freq);
+
+    obj->i2c->POWER = 1;
+    twi_master_init(obj, obj->sda, obj->scl, obj->freq);
 }
 
-int i2c_start(i2c_t *obj) {
+int i2c_start(i2c_t *obj)
+{
     int status = 0;
     i2c_reset(obj);
-    addrSet=0;
+    addrSet = 0;
     return status;
 }
 
-int i2c_stop(i2c_t *obj) {
+int i2c_stop(i2c_t *obj)
+{
     int timeOut = 100000;
     obj->i2c->EVENTS_STOPPED = 0;
     // write the stop bit
     obj->i2c->TASKS_STOP = 1;
-    while(!obj->i2c->EVENTS_STOPPED){
+    while (!obj->i2c->EVENTS_STOPPED) {
         timeOut--;
-        if(timeOut<0)
+        if (timeOut<0) {
             return 1;
+        }
     }
     addrSet = 0;
     i2c_reset(obj);
     return 0;
 }
 
-
-int i2c_do_write(i2c_t *obj, int value) {
+int i2c_do_write(i2c_t *obj, int value)
+{
     int timeOut = 100000;
     obj->i2c->TXD = value;
-    while(!obj->i2c->EVENTS_TXDSENT){
+    while (!obj->i2c->EVENTS_TXDSENT) {
         timeOut--;
-        if(timeOut<0)
+        if (timeOut<0) {
             return 1;
+        }
     }
     obj->i2c->EVENTS_TXDSENT = 0;
     return 0;
 }
 
-int i2c_do_read(i2c_t *obj, char * data, int last) {
+int i2c_do_read(i2c_t *obj, char *data, int last)
+{
     int timeOut = 100000;
 
-    if (last){
+    if (last) {
         obj->i2c->TASKS_STOP = 1;
     }
-    while(!obj->i2c->EVENTS_RXDREADY){
+    while (!obj->i2c->EVENTS_RXDREADY) {
         timeOut--;
-        if(timeOut<0)
+        if (timeOut<0) {
             return 1;
+        }
     }
-    obj->i2c->EVENTS_RXDREADY       = 0;
-    
+    obj->i2c->EVENTS_RXDREADY = 0;
+
     *data = obj->i2c->RXD;
-    
-    for(int i=0;i<320;i++){
+
+    for (int i = 0; i<320; i++) {
     }
-    
+
     obj->i2c->TASKS_RESUME = 1;
-    
+
     return 0;
 }
 
-
-void i2c_frequency(i2c_t *obj, int hz) {
-    if(hz<250000){
+void i2c_frequency(i2c_t *obj, int hz)
+{
+    if (hz<250000) {
         obj->freq           = 100000;
         obj->i2c->FREQUENCY = (TWI_FREQUENCY_FREQUENCY_K100 << TWI_FREQUENCY_FREQUENCY_Pos);
-    }
-    else if(hz<400000){
+    } else if (hz<400000) {
         obj->freq           = 250000;
         obj->i2c->FREQUENCY = (TWI_FREQUENCY_FREQUENCY_K250 << TWI_FREQUENCY_FREQUENCY_Pos);
-    }
-    else{
+    } else {
         obj->freq           = 400000;
         obj->i2c->FREQUENCY = (TWI_FREQUENCY_FREQUENCY_K400 << TWI_FREQUENCY_FREQUENCY_Pos);
     }
 }
 
-int checkError(i2c_t *obj){
-    if (obj->i2c->EVENTS_ERROR == 1){
-        if (obj->i2c->ERRORSRC & TWI_ERRORSRC_ANACK_Msk){
-            obj->i2c->EVENTS_ERROR  = 0;
-            obj->i2c->TASKS_STOP    = 1;
+int checkError(i2c_t *obj)
+{
+    if (obj->i2c->EVENTS_ERROR == 1) {
+        if (obj->i2c->ERRORSRC & TWI_ERRORSRC_ANACK_Msk) {
+            obj->i2c->EVENTS_ERROR = 0;
+            obj->i2c->TASKS_STOP   = 1;
             return I2C_ERROR_BUS_BUSY;
         }
-        
-        obj->i2c->EVENTS_ERROR  = 0;
-        obj->i2c->TASKS_STOP    = 1;
+
+        obj->i2c->EVENTS_ERROR = 0;
+        obj->i2c->TASKS_STOP   = 1;
         return I2C_ERROR_NO_SLAVE;
     }
     return 0;
 }
 
-int i2c_read(i2c_t *obj, int address, char *data, int length, int stop) {
-    int status,count,errorResult;
-    obj->i2c->ADDRESS         = (address>>1);
+int i2c_read(i2c_t *obj, int address, char *data, int length, int stop)
+{
+    int status, count, errorResult;
+    obj->i2c->ADDRESS         = (address >> 1);
     obj->i2c->SHORTS          = 0;
     obj->i2c->EVENTS_RXDREADY = 0;
     obj->i2c->TASKS_STARTRX   = 1;
-    
+
     // Read in all except last byte
     for (count = 0; count < (length - 1); count++) {
-        status = i2c_do_read(obj,&data[count], 0);
+        status = i2c_do_read(obj, &data[count], 0);
         if (status) {
             errorResult = checkError(obj);
             i2c_reset(obj);
-            if(errorResult<0){
+            if (errorResult<0) {
                 return errorResult;
             }
             return count;
@@ -197,77 +209,78 @@
     }
 
     // read in last byte
-    status = i2c_do_read(obj,&data[length-1], 1);
+    status = i2c_do_read(obj, &data[length - 1], 1);
     if (status) {
         i2c_reset(obj);
         return length - 1;
     }
     // If not repeated start, send stop.
     if (stop) {
-        while(!obj->i2c->EVENTS_STOPPED){
+        while (!obj->i2c->EVENTS_STOPPED) {
         }
         obj->i2c->EVENTS_STOPPED = 0;
     }
     return length;
 }
 
-int i2c_write(i2c_t *obj, int address, const char *data, int length, int stop) {
+int i2c_write(i2c_t *obj, int address, const char *data, int length, int stop)
+{
     int status, errorResult;
-    obj->i2c->ADDRESS       = (address>>1);
+    obj->i2c->ADDRESS       = (address >> 1);
     obj->i2c->SHORTS        = 0;
     obj->i2c->TASKS_STARTTX = 1;
- 
-    for (int i=0; i<length; i++) {
+
+    for (int i = 0; i<length; i++) {
         status = i2c_do_write(obj, data[i]);
-        if(status) {
+        if (status) {
             i2c_reset(obj);
             errorResult = checkError(obj);
-            if(errorResult<0){
+            if (errorResult<0) {
                 return errorResult;
             }
             return i;
         }
     }
-    
+
     // If not repeated start, send stop.
     if (stop) {
-        if(i2c_stop(obj)){
+        if (i2c_stop(obj)) {
             return I2C_ERROR_NO_SLAVE;
         }
     }
     return length;
 }
 
-int i2c_byte_read(i2c_t *obj, int last) {
+int i2c_byte_read(i2c_t *obj, int last)
+{
     char data;
     int status;
-    
-    status = i2c_do_read(obj,&data, last);
+
+    status = i2c_do_read(obj, &data, last);
     if (status) {
         i2c_reset(obj);
     }
     return data;
 }
 
-int i2c_byte_write(i2c_t *obj, int data) {
+int i2c_byte_write(i2c_t *obj, int data)
+{
     int status = 0;
-    if(!addrSet){
-        addrSet = 1;
-        obj->i2c->ADDRESS = (data>>1);
-        
-        if(data&1){
+    if (!addrSet) {
+        addrSet           = 1;
+        obj->i2c->ADDRESS = (data >> 1);
+
+        if (data & 1) {
             obj->i2c->EVENTS_RXDREADY = 0;
             obj->i2c->TASKS_STARTRX   = 1;
-        }
-        else{
-            obj->i2c->TASKS_STARTTX   = 1;
+        } else {
+            obj->i2c->TASKS_STARTTX = 1;
         }
-    }
-    else{
+    } else {
         status = i2c_do_write(obj, data);
-        if(status) {
+        if (status) {
             i2c_reset(obj);
         }
     }
-    return (1-status);
+    return (1 - status);
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pinmap.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pinmap.c	Wed Aug 27 08:45:06 2014 +0100
@@ -17,14 +17,16 @@
 #include "pinmap.h"
 #include "mbed_error.h"
 
-void pin_function(PinName pin, int function) {
+void pin_function(PinName pin, int function)
+{
 }
 
-void pin_mode(PinName pin, PinMode mode) {
+void pin_mode(PinName pin, PinMode mode)
+{
     MBED_ASSERT(pin != (PinName)NC);
-    
+
     uint32_t pin_number = (uint32_t)pin;
-    
+
     NRF_GPIO->PIN_CNF[pin_number] &= ~GPIO_PIN_CNF_PULL_Msk;
     NRF_GPIO->PIN_CNF[pin_number] |= (mode << GPIO_PIN_CNF_PULL_Pos);
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/port_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/port_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -17,37 +17,41 @@
 #include "pinmap.h"
 #include "gpio_api.h"
 
-PinName port_pin(PortName port, int pin_n) {
+PinName port_pin(PortName port, int pin_n)
+{
     return (PinName)(pin_n);
 }
 
-void port_init(port_t *obj, PortName port, int mask, PinDirection dir) {
+void port_init(port_t *obj, PortName port, int mask, PinDirection dir)
+{
     obj->port = port;
-    obj->mask = mask;   
-    
+    obj->mask = mask;
+
     obj->reg_out = &NRF_GPIO->OUT;
     obj->reg_in  = &NRF_GPIO->IN;
     obj->reg_cnf = NRF_GPIO->PIN_CNF;
-    
+
     port_dir(obj, dir);
 }
 
-void port_mode(port_t *obj, PinMode mode) {
+void port_mode(port_t *obj, PinMode mode)
+{
     uint32_t i;
     // The mode is set per pin: reuse pinmap logic
-    for (i=0; i<31; i++) {
-        if (obj->mask & (1<<i)) {
+    for (i = 0; i<31; i++) {
+        if (obj->mask & (1 << i)) {
             pin_mode(port_pin(obj->port, i), mode);
         }
     }
 }
 
-void port_dir(port_t *obj, PinDirection dir) {
+void port_dir(port_t *obj, PinDirection dir)
+{
     int i;
     switch (dir) {
-        case PIN_INPUT : 
-        for (i=0; i<31; i++) {
-            if (obj->mask & (1<<i)) {
+    case PIN_INPUT:
+        for (i = 0; i<31; i++) {
+            if (obj->mask & (1 << i)) {
                 obj->reg_cnf[i] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
                                     | (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos)
@@ -55,9 +59,9 @@
             }
         }
         break;
-        case PIN_OUTPUT:
-        for (i=0; i<31; i++) {
-            if (obj->mask & (1<<i)) {
+    case PIN_OUTPUT:
+        for (i = 0; i<31; i++) {
+            if (obj->mask & (1 << i)) {
                 obj->reg_cnf[i] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
                                     | (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos)
@@ -69,10 +73,12 @@
     }
 }
 
-void port_write(port_t *obj, int value) {
+void port_write(port_t *obj, int value)
+{
     *obj->reg_out = value;
 }
 
-int port_read(port_t *obj) {
+int port_read(port_t *obj)
+{
     return (*obj->reg_in);
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pwmout_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/pwmout_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -20,7 +20,7 @@
 #include "mbed_error.h"
 
 #define NO_PWMS         3
-#define TIMER_PRECISION 4 //4us ticks   
+#define TIMER_PRECISION 4 //4us ticks
 #define TIMER_PRESCALER 6 //4us ticks  =   16Mhz/(2**6)
 static const PinMap PinMap_PWM[] = {
     {p0,  PWM_1, 1},
@@ -59,65 +59,66 @@
     NRF_TIMER2
 };
 
-uint16_t PERIOD                = 20000/TIMER_PRECISION;//20ms
-uint8_t PWM_taken[NO_PWMS]     = {0,0,0};
-uint16_t PULSE_WIDTH[NO_PWMS]  = {1,1,1};//set to 1 instead of 0
-uint16_t ACTUAL_PULSE[NO_PWMS] = {0,0,0};
+uint16_t PERIOD            = 20000 / TIMER_PRECISION;  //20ms
+uint8_t PWM_taken[NO_PWMS] = {0, 0, 0};
+uint16_t PULSE_WIDTH[NO_PWMS] = {1, 1, 1}; //set to 1 instead of 0
+uint16_t ACTUAL_PULSE[NO_PWMS] = {0, 0, 0};
 
 
 /** @brief Function for handling timer 2 peripheral interrupts.
  */
- #ifdef __cplusplus
+#ifdef __cplusplus
 extern "C" {
-#endif 
+#endif
 void TIMER2_IRQHandler(void)
 {
     NRF_TIMER2->EVENTS_COMPARE[3] = 0;
-    NRF_TIMER2->CC[3]   =  PERIOD;
-    
-    if(PWM_taken[0]){
-        NRF_TIMER2->CC[0]  = PULSE_WIDTH[0];
+    NRF_TIMER2->CC[3]             =  PERIOD;
+
+    if (PWM_taken[0]) {
+        NRF_TIMER2->CC[0] = PULSE_WIDTH[0];
     }
-    if(PWM_taken[1]){
-        NRF_TIMER2->CC[1]  = PULSE_WIDTH[1];
+    if (PWM_taken[1]) {
+        NRF_TIMER2->CC[1] = PULSE_WIDTH[1];
     }
-    if(PWM_taken[2]){
-        NRF_TIMER2->CC[2]  = PULSE_WIDTH[2];
+    if (PWM_taken[2]) {
+        NRF_TIMER2->CC[2] = PULSE_WIDTH[2];
     }
-    
+
     NRF_TIMER2->TASKS_START = 1;
+}
 
-}
 #ifdef __cplusplus
 }
-#endif 
+#endif
 /** @brief Function for initializing the Timer peripherals.
  */
 void timer_init(uint8_t pwmChoice)
 {
     NRF_TIMER_Type *timer = Timers[0];
     timer->TASKS_STOP = 0;
-    
-    if(pwmChoice == 0){
+
+    if (pwmChoice == 0) {
         timer->POWER     = 0;
-        timer->POWER     = 1;    
-        timer->MODE      = TIMER_MODE_MODE_Timer;    
+        timer->POWER     = 1;
+        timer->MODE      = TIMER_MODE_MODE_Timer;
         timer->BITMODE   = TIMER_BITMODE_BITMODE_16Bit << TIMER_BITMODE_BITMODE_Pos;
-        timer->PRESCALER = TIMER_PRESCALER; 
+        timer->PRESCALER = TIMER_PRESCALER;
         timer->CC[3]     = PERIOD;
     }
-    
+
     timer->CC[pwmChoice] = PULSE_WIDTH[pwmChoice];
-    
+
     //high priority application interrupt
     NVIC_SetPriority(TIMER2_IRQn, 1);
     NVIC_EnableIRQ(TIMER2_IRQn);
-    
+
     timer->TASKS_START = 0x01;
 }
+
 /** @brief Function for initializing the GPIO Tasks/Events peripheral.
  */
-void gpiote_init(PinName pin,uint8_t channel_number)
+void gpiote_init(PinName pin, uint8_t channel_number)
 {
     // Connect GPIO input buffers and configure PWM_OUTPUT_PIN_NUMBER as an output.
     NRF_GPIO->PIN_CNF[pin] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
@@ -129,215 +130,216 @@
     // Configure GPIOTE channel 0 to toggle the PWM pin state
     // @note Only one GPIOTE task can be connected to an output pin.
     /* Configure channel to Pin31, not connected to the pin, and configure as a tasks that will set it to proper level */
-    NRF_GPIOTE->CONFIG[channel_number] = (GPIOTE_CONFIG_MODE_Task       << GPIOTE_CONFIG_MODE_Pos)     |
-                                         (31UL                          << GPIOTE_CONFIG_PSEL_Pos)     |
+    NRF_GPIOTE->CONFIG[channel_number] = (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos) |
+                                         (31UL << GPIOTE_CONFIG_PSEL_Pos) |
                                          (GPIOTE_CONFIG_POLARITY_HiToLo << GPIOTE_CONFIG_POLARITY_Pos);
-     /* Three NOPs are required to make sure configuration is written before setting tasks or getting events */
+    /* Three NOPs are required to make sure configuration is written before setting tasks or getting events */
+    __NOP();
     __NOP();
     __NOP();
-    __NOP(); 
     /* Launch the task to take the GPIOTE channel output to the desired level */
     NRF_GPIOTE->TASKS_OUT[channel_number] = 1;
-    
-    /* Finally configure the channel as the caller expects. If OUTINIT works, the channel is configured properly. 
+
+    /* Finally configure the channel as the caller expects. If OUTINIT works, the channel is configured properly.
        If it does not, the channel output inheritance sets the proper level. */
-    NRF_GPIOTE->CONFIG[channel_number] = (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos)     |
-                                         ((uint32_t)pin    << GPIOTE_CONFIG_PSEL_Pos)     |
-                                         ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle      << GPIOTE_CONFIG_POLARITY_Pos) |
-                                        ((uint32_t)GPIOTE_CONFIG_OUTINIT_Low << GPIOTE_CONFIG_OUTINIT_Pos);// ((uint32_t)GPIOTE_CONFIG_OUTINIT_High << GPIOTE_CONFIG_OUTINIT_Pos);//
+    NRF_GPIOTE->CONFIG[channel_number] = (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos) |
+                                         ((uint32_t)pin << GPIOTE_CONFIG_PSEL_Pos) |
+                                         ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle << GPIOTE_CONFIG_POLARITY_Pos) |
+                                         ((uint32_t)GPIOTE_CONFIG_OUTINIT_Low << GPIOTE_CONFIG_OUTINIT_Pos); // ((uint32_t)GPIOTE_CONFIG_OUTINIT_High <<
+                                                                                                             // GPIOTE_CONFIG_OUTINIT_Pos);//
 
     /* Three NOPs are required to make sure configuration is written before setting tasks or getting events */
     __NOP();
     __NOP();
-    __NOP(); 
+    __NOP();
 }
+
 /** @brief Function for initializing the Programmable Peripheral Interconnect peripheral.
  */
 static void ppi_init(uint8_t pwm)
 {
-//using ppi channels 0-7 (only 0-7 are available)
-    uint8_t channel_number = 2*pwm;
-    NRF_TIMER_Type *timer = Timers[0];
-    
+    //using ppi channels 0-7 (only 0-7 are available)
+    uint8_t channel_number = 2 * pwm;
+    NRF_TIMER_Type *timer  = Timers[0];
+
     // Configure PPI channel 0 to toggle ADVERTISING_LED_PIN_NO on every TIMER1 COMPARE[0] match
     NRF_PPI->CH[channel_number].TEP     = (uint32_t)&NRF_GPIOTE->TASKS_OUT[pwm];
-    NRF_PPI->CH[channel_number+1].TEP   = (uint32_t)&NRF_GPIOTE->TASKS_OUT[pwm];
-    NRF_PPI->CH[channel_number].EEP     = (uint32_t)&timer->EVENTS_COMPARE[pwm];    
-    NRF_PPI->CH[channel_number+1].EEP   = (uint32_t)&timer->EVENTS_COMPARE[3];    
-    
+    NRF_PPI->CH[channel_number + 1].TEP = (uint32_t)&NRF_GPIOTE->TASKS_OUT[pwm];
+    NRF_PPI->CH[channel_number].EEP     = (uint32_t)&timer->EVENTS_COMPARE[pwm];
+    NRF_PPI->CH[channel_number + 1].EEP = (uint32_t)&timer->EVENTS_COMPARE[3];
+
     // Enable PPI channels.
-    NRF_PPI->CHEN |= (1 << channel_number)
-                  |  (1 << (channel_number+1));
+    NRF_PPI->CHEN |= (1 << channel_number) |
+                     (1 << (channel_number + 1));
 }
 
-void setModulation(pwmout_t* obj,uint8_t toggle,uint8_t high)
+void setModulation(pwmout_t *obj, uint8_t toggle, uint8_t high)
 {
-    if(high){
+    if (high) {
         NRF_GPIOTE->CONFIG[obj->pwm] |= ((uint32_t)GPIOTE_CONFIG_OUTINIT_High << GPIOTE_CONFIG_OUTINIT_Pos);
-        if(toggle){
-            NRF_GPIOTE->CONFIG[obj->pwm] |= (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos)   |
-                                            ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle      << GPIOTE_CONFIG_POLARITY_Pos);
-        }
-        else{
-            NRF_GPIOTE->CONFIG[obj->pwm] &= ~((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle      << GPIOTE_CONFIG_POLARITY_Pos);
-            NRF_GPIOTE->CONFIG[obj->pwm] |= ((uint32_t)GPIOTE_CONFIG_POLARITY_LoToHi      << GPIOTE_CONFIG_POLARITY_Pos);
+        if (toggle) {
+            NRF_GPIOTE->CONFIG[obj->pwm] |= (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos) |
+                                            ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle << GPIOTE_CONFIG_POLARITY_Pos);
+        } else {
+            NRF_GPIOTE->CONFIG[obj->pwm] &= ~((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle << GPIOTE_CONFIG_POLARITY_Pos);
+            NRF_GPIOTE->CONFIG[obj->pwm] |= ((uint32_t)GPIOTE_CONFIG_POLARITY_LoToHi << GPIOTE_CONFIG_POLARITY_Pos);
         }
-    }
-    else{
+    } else {
         NRF_GPIOTE->CONFIG[obj->pwm] &= ~((uint32_t)GPIOTE_CONFIG_OUTINIT_High << GPIOTE_CONFIG_OUTINIT_Pos);
-        
-        if(toggle){
-            NRF_GPIOTE->CONFIG[obj->pwm] |= (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos)   |
-                                            ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle      << GPIOTE_CONFIG_POLARITY_Pos);
-        }
-        else{
-            NRF_GPIOTE->CONFIG[obj->pwm] &= ~((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle      << GPIOTE_CONFIG_POLARITY_Pos);
-            NRF_GPIOTE->CONFIG[obj->pwm] |= ((uint32_t)GPIOTE_CONFIG_POLARITY_HiToLo      << GPIOTE_CONFIG_POLARITY_Pos);
+
+        if (toggle) {
+            NRF_GPIOTE->CONFIG[obj->pwm] |= (GPIOTE_CONFIG_MODE_Task << GPIOTE_CONFIG_MODE_Pos) |
+                                            ((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle << GPIOTE_CONFIG_POLARITY_Pos);
+        } else {
+            NRF_GPIOTE->CONFIG[obj->pwm] &= ~((uint32_t)GPIOTE_CONFIG_POLARITY_Toggle << GPIOTE_CONFIG_POLARITY_Pos);
+            NRF_GPIOTE->CONFIG[obj->pwm] |= ((uint32_t)GPIOTE_CONFIG_POLARITY_HiToLo << GPIOTE_CONFIG_POLARITY_Pos);
         }
     }
 }
-void pwmout_init(pwmout_t* obj, PinName pin) {
+
+void pwmout_init(pwmout_t *obj, PinName pin)
+{
     // determine the channel
     uint8_t pwmOutSuccess = 0;
-    PWMName pwm = (PWMName)pinmap_peripheral(pin, PinMap_PWM);
-    
+    PWMName pwm           = (PWMName)pinmap_peripheral(pin, PinMap_PWM);
+
     MBED_ASSERT(pwm != (PWMName)NC);
-        
-    if(PWM_taken[(uint8_t)pwm]){
-        for(uint8_t i = 1; !pwmOutSuccess && (i<NO_PWMS) ;i++){
-            if(!PWM_taken[i]){
+
+    if (PWM_taken[(uint8_t)pwm]) {
+        for (uint8_t i = 1; !pwmOutSuccess && (i<NO_PWMS); i++) {
+            if (!PWM_taken[i]) {
                 pwm           = (PWMName)i;
                 PWM_taken[i]  = 1;
                 pwmOutSuccess = 1;
             }
         }
-    }
-    else{
+    } else {
         pwmOutSuccess           = 1;
         PWM_taken[(uint8_t)pwm] = 1;
     }
-    
-    if(!pwmOutSuccess){
+
+    if (!pwmOutSuccess) {
         error("PwmOut pin mapping failed. All available PWM channels are in use.");
     }
-    
+
     obj->pwm = pwm;
     obj->pin = pin;
-    
-    gpiote_init(pin,(uint8_t)pwm);
+
+    gpiote_init(pin, (uint8_t)pwm);
     ppi_init((uint8_t)pwm);
-    
-    if(pwm == 0){
+
+    if (pwm == 0) {
         NRF_POWER->TASKS_CONSTLAT = 1;
     }
-    
+
     timer_init((uint8_t)pwm);
-    
+
     //default to 20ms: standard for servos, and fine for e.g. brightness control
     pwmout_period_ms(obj, 20);
     pwmout_write    (obj, 0);
-    
 }
 
-void pwmout_free(pwmout_t* obj) {
+void pwmout_free(pwmout_t *obj)
+{
     // [TODO]
 }
 
-void pwmout_write(pwmout_t* obj, float value) {
+void pwmout_write(pwmout_t *obj, float value)
+{
     uint16_t oldPulseWidth;
-    
+
     NRF_TIMER2->EVENTS_COMPARE[3] = 0;
-    NRF_TIMER2->TASKS_STOP = 1;
-    
+    NRF_TIMER2->TASKS_STOP        = 1;
+
     if (value < 0.0f) {
         value = 0.0;
     } else if (value > 1.0f) {
         value = 1.0;
-    }        
-    
-    oldPulseWidth           = ACTUAL_PULSE[obj->pwm];
-    ACTUAL_PULSE[obj->pwm]  = PULSE_WIDTH[obj->pwm]  = value* PERIOD;
-    
-    if(PULSE_WIDTH[obj->pwm] == 0){
-        PULSE_WIDTH[obj->pwm] = 1;
-        setModulation(obj,0,0);    
     }
-    else if(PULSE_WIDTH[obj->pwm] == PERIOD){
-        PULSE_WIDTH[obj->pwm] = PERIOD-1;
-        setModulation(obj,0,1);
+
+    oldPulseWidth          = ACTUAL_PULSE[obj->pwm];
+    ACTUAL_PULSE[obj->pwm] = PULSE_WIDTH[obj->pwm]  = value * PERIOD;
+
+    if (PULSE_WIDTH[obj->pwm] == 0) {
+        PULSE_WIDTH[obj->pwm] = 1;
+        setModulation(obj, 0, 0);
+    } else if (PULSE_WIDTH[obj->pwm] == PERIOD) {
+        PULSE_WIDTH[obj->pwm] = PERIOD - 1;
+        setModulation(obj, 0, 1);
+    } else if ((oldPulseWidth == 0) || (oldPulseWidth == PERIOD)) {
+        setModulation(obj, 1, oldPulseWidth == PERIOD);
     }
-    else if( (oldPulseWidth == 0) || (oldPulseWidth == PERIOD) ){
-        setModulation(obj,1,oldPulseWidth == PERIOD);
-    }    
-        
-    NRF_TIMER2->INTENSET = TIMER_INTENSET_COMPARE3_Msk;
-    NRF_TIMER2->SHORTS = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk; 
+
+    NRF_TIMER2->INTENSET    = TIMER_INTENSET_COMPARE3_Msk;
+    NRF_TIMER2->SHORTS      = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk;
     NRF_TIMER2->TASKS_START = 1;
 }
 
-float pwmout_read(pwmout_t* obj) {
-    return ((float)PULSE_WIDTH[obj->pwm]/(float)PERIOD);
+float pwmout_read(pwmout_t *obj)
+{
+    return ((float)PULSE_WIDTH[obj->pwm] / (float)PERIOD);
 }
 
-void pwmout_period(pwmout_t* obj, float seconds) {
+void pwmout_period(pwmout_t *obj, float seconds)
+{
     pwmout_period_us(obj, seconds * 1000000.0f);
 }
 
-void pwmout_period_ms(pwmout_t* obj, int ms) {
+void pwmout_period_ms(pwmout_t *obj, int ms)
+{
     pwmout_period_us(obj, ms * 1000);
 }
 
 // Set the PWM period, keeping the duty cycle the same.
-void pwmout_period_us(pwmout_t* obj, int us) {
-    uint32_t periodInTicks = us/TIMER_PRECISION;
-    
+void pwmout_period_us(pwmout_t *obj, int us)
+{
+    uint32_t periodInTicks = us / TIMER_PRECISION;
+
     NRF_TIMER2->EVENTS_COMPARE[3] = 0;
-    NRF_TIMER2->TASKS_STOP = 1;
-    
-    if(periodInTicks>((1<<16) -1))
-    {
-        PERIOD = (1<<16 )-1;//131ms
+    NRF_TIMER2->TASKS_STOP        = 1;
+
+    if (periodInTicks>((1 << 16) - 1)) {
+        PERIOD = (1 << 16) - 1; //131ms
+    } else if (periodInTicks<5) {
+        PERIOD = 5;
+    } else {
+        PERIOD = periodInTicks;
     }
-    else if(periodInTicks<5){
-        PERIOD = 5;
-    }
-    else{
-        PERIOD =periodInTicks;
-    }
-    NRF_TIMER2->INTENSET = TIMER_INTENSET_COMPARE3_Msk;
-    NRF_TIMER2->SHORTS = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk; 
-    NRF_TIMER2->TASKS_START = 1;    
+    NRF_TIMER2->INTENSET    = TIMER_INTENSET_COMPARE3_Msk;
+    NRF_TIMER2->SHORTS      = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk;
+    NRF_TIMER2->TASKS_START = 1;
 }
 
-void pwmout_pulsewidth(pwmout_t* obj, float seconds) {
+void pwmout_pulsewidth(pwmout_t *obj, float seconds)
+{
     pwmout_pulsewidth_us(obj, seconds * 1000000.0f);
 }
 
-void pwmout_pulsewidth_ms(pwmout_t* obj, int ms) {
+void pwmout_pulsewidth_ms(pwmout_t *obj, int ms)
+{
     pwmout_pulsewidth_us(obj, ms * 1000);
 }
 
-void pwmout_pulsewidth_us(pwmout_t* obj, int us) {
-    uint32_t pulseInTicks  = us/TIMER_PRECISION; 
+void pwmout_pulsewidth_us(pwmout_t *obj, int us)
+{
+    uint32_t pulseInTicks  = us / TIMER_PRECISION;
     uint16_t oldPulseWidth = ACTUAL_PULSE[obj->pwm];
-    
+
     NRF_TIMER2->EVENTS_COMPARE[3] = 0;
-    NRF_TIMER2->TASKS_STOP = 1;
-    
+    NRF_TIMER2->TASKS_STOP        = 1;
+
     ACTUAL_PULSE[obj->pwm] = PULSE_WIDTH[obj->pwm]  = pulseInTicks;
-    
-    if(PULSE_WIDTH[obj->pwm] == 0){
+
+    if (PULSE_WIDTH[obj->pwm] == 0) {
         PULSE_WIDTH[obj->pwm] = 1;
-        setModulation(obj,0,0);    
-    }
-    else if(PULSE_WIDTH[obj->pwm] == PERIOD){
-        PULSE_WIDTH[obj->pwm] = PERIOD-1;
-        setModulation(obj,0,1);
+        setModulation(obj, 0, 0);
+    } else if (PULSE_WIDTH[obj->pwm] == PERIOD) {
+        PULSE_WIDTH[obj->pwm] = PERIOD - 1;
+        setModulation(obj, 0, 1);
+    } else if ((oldPulseWidth == 0) || (oldPulseWidth == PERIOD)) {
+        setModulation(obj, 1, oldPulseWidth == PERIOD);
     }
-    else if( (oldPulseWidth == 0) || (oldPulseWidth == PERIOD) ){
-        setModulation(obj,1,oldPulseWidth == PERIOD);
-    } 
-    NRF_TIMER2->INTENSET = TIMER_INTENSET_COMPARE3_Msk;
-    NRF_TIMER2->SHORTS = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk; 
-    NRF_TIMER2->TASKS_START = 1;      
+    NRF_TIMER2->INTENSET    = TIMER_INTENSET_COMPARE3_Msk;
+    NRF_TIMER2->SHORTS      = TIMER_SHORTS_COMPARE3_CLEAR_Msk | TIMER_SHORTS_COMPARE3_STOP_Msk;
+    NRF_TIMER2->TASKS_START = 1;
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/serial_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/serial_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -29,22 +29,22 @@
 
 static uint32_t serial_irq_ids[UART_NUM] = {0};
 static uart_irq_handler irq_handler;
-static uint32_t acceptedSpeeds[16][2] = {{1200,UART_BAUDRATE_BAUDRATE_Baud1200},
-                                         {2400,UART_BAUDRATE_BAUDRATE_Baud2400},
-                                         {4800,UART_BAUDRATE_BAUDRATE_Baud4800},
-                                         {9600,UART_BAUDRATE_BAUDRATE_Baud9600},
-                                         {14400,UART_BAUDRATE_BAUDRATE_Baud14400},
-                                         {19200,UART_BAUDRATE_BAUDRATE_Baud19200},
-                                         {28800,UART_BAUDRATE_BAUDRATE_Baud28800},
-                                         {38400,UART_BAUDRATE_BAUDRATE_Baud38400},
-                                         {57600,UART_BAUDRATE_BAUDRATE_Baud57600},
-                                         {76800,UART_BAUDRATE_BAUDRATE_Baud76800},
-                                         {115200,UART_BAUDRATE_BAUDRATE_Baud115200},
-                                         {230400,UART_BAUDRATE_BAUDRATE_Baud230400},
-                                         {250000,UART_BAUDRATE_BAUDRATE_Baud250000},
-                                         {460800,UART_BAUDRATE_BAUDRATE_Baud460800},
-                                         {921600,UART_BAUDRATE_BAUDRATE_Baud921600},
-                                         {1000000,UART_BAUDRATE_BAUDRATE_Baud1M}};
+static uint32_t acceptedSpeeds[16][2] = {{1200, UART_BAUDRATE_BAUDRATE_Baud1200},
+                                         {2400, UART_BAUDRATE_BAUDRATE_Baud2400},
+                                         {4800, UART_BAUDRATE_BAUDRATE_Baud4800},
+                                         {9600, UART_BAUDRATE_BAUDRATE_Baud9600},
+                                         {14400, UART_BAUDRATE_BAUDRATE_Baud14400},
+                                         {19200, UART_BAUDRATE_BAUDRATE_Baud19200},
+                                         {28800, UART_BAUDRATE_BAUDRATE_Baud28800},
+                                         {38400, UART_BAUDRATE_BAUDRATE_Baud38400},
+                                         {57600, UART_BAUDRATE_BAUDRATE_Baud57600},
+                                         {76800, UART_BAUDRATE_BAUDRATE_Baud76800},
+                                         {115200, UART_BAUDRATE_BAUDRATE_Baud115200},
+                                         {230400, UART_BAUDRATE_BAUDRATE_Baud230400},
+                                         {250000, UART_BAUDRATE_BAUDRATE_Baud250000},
+                                         {460800, UART_BAUDRATE_BAUDRATE_Baud460800},
+                                         {921600, UART_BAUDRATE_BAUDRATE_Baud921600},
+                                         {1000000, UART_BAUDRATE_BAUDRATE_Baud1M}};
 
 int stdio_uart_inited = 0;
 serial_t stdio_uart;
@@ -52,78 +52,81 @@
 
 void serial_init(serial_t *obj, PinName tx, PinName rx) {
     UARTName uart = UART_0;
-    
+
     MBED_ASSERT((int)uart != NC);
-    
+
     obj->uart = (NRF_UART_Type *)uart;
-    
+
     //pin configurations --
     //outputs
-    NRF_GPIO->DIR |= (1<<tx);//TX_PIN_NUMBER);
-    NRF_GPIO->DIR |= (1<<RTS_PIN_NUMBER);
+    NRF_GPIO->DIR |= (1 << tx); //TX_PIN_NUMBER);
+    NRF_GPIO->DIR |= (1 << RTS_PIN_NUMBER);
 
-    NRF_GPIO->DIR &= ~(1<<rx);//RX_PIN_NUMBER);
-    NRF_GPIO->DIR &= ~(1<<CTS_PIN_NUMBER);
-    
+    NRF_GPIO->DIR &= ~(1 << rx); //RX_PIN_NUMBER);
+    NRF_GPIO->DIR &= ~(1 << CTS_PIN_NUMBER);
+
     obj->uart->PSELRTS = RTS_PIN_NUMBER;
-    obj->uart->PSELTXD = tx;//TX_PIN_NUMBER;
-    
+    obj->uart->PSELTXD = tx; //TX_PIN_NUMBER;
+
     //inputs
     obj->uart->PSELCTS = CTS_PIN_NUMBER;
-    obj->uart->PSELRXD = rx;//RX_PIN_NUMBER;
-    
-    
+    obj->uart->PSELRXD = rx; //RX_PIN_NUMBER;
+
+
     // set default baud rate and format
     serial_baud  (obj, 9600);
     serial_format(obj, 8, ParityNone, 1);
-    
-    obj->uart->ENABLE = (UART_ENABLE_ENABLE_Enabled << UART_ENABLE_ENABLE_Pos);;
+
+    obj->uart->ENABLE        = (UART_ENABLE_ENABLE_Enabled << UART_ENABLE_ENABLE_Pos);
     obj->uart->TASKS_STARTTX = 1;
     obj->uart->TASKS_STARTRX = 1;
-    obj->uart->EVENTS_RXDRDY =0;
-    
+    obj->uart->EVENTS_RXDRDY = 0;
+
     obj->index = 0;
-    
+
     // set rx/tx pins in PullUp mode
     pin_mode(tx, PullUp);
     pin_mode(rx, PullUp);
-    
+
     if (uart == STDIO_UART) {
         stdio_uart_inited = 1;
         memcpy(&stdio_uart, obj, sizeof(serial_t));
     }
 }
 
-void serial_free(serial_t *obj) {
+void serial_free(serial_t *obj)
+{
     serial_irq_ids[obj->index] = 0;
 }
 
 // serial_baud
 // set the baud rate, taking in to account the current SystemFrequency
-void serial_baud(serial_t *obj, int baudrate) {
-    if(baudrate<=1200){
+void serial_baud(serial_t *obj, int baudrate)
+{
+    if (baudrate<=1200) {
         obj->uart->BAUDRATE = UART_BAUDRATE_BAUDRATE_Baud1200;
         return;
     }
-    
-    for(int i=1;i<16;i++){
-        if(baudrate<acceptedSpeeds[i][0]){
-            obj->uart->BAUDRATE = acceptedSpeeds[i-1][1];
+
+    for (int i = 1; i<16; i++) {
+        if (baudrate<acceptedSpeeds[i][0]) {
+            obj->uart->BAUDRATE = acceptedSpeeds[i - 1][1];
             return;
         }
     }
     obj->uart->BAUDRATE = UART_BAUDRATE_BAUDRATE_Baud1M;
 }
 
-void serial_format(serial_t *obj, int data_bits, SerialParity parity, int stop_bits) {
+void serial_format(serial_t *obj, int data_bits, SerialParity parity, int stop_bits)
+{
     // 0: 1 stop bits, 1: 2 stop bits
-   // int parity_enable, parity_select;
+    // int parity_enable, parity_select;
     switch (parity) {
         case ParityNone:
-            obj->uart->CONFIG  = 0;
-        break;
+            obj->uart->CONFIG = 0;
+            break;
         default:
-            obj->uart->CONFIG  = (UART_CONFIG_PARITY_Included<<UART_CONFIG_PARITY_Pos);
+            obj->uart->CONFIG = (UART_CONFIG_PARITY_Included << UART_CONFIG_PARITY_Pos);
             return;
     }
     //no Flow Control
@@ -132,74 +135,85 @@
 //******************************************************************************
 // * INTERRUPT HANDLING
 //******************************************************************************
-static inline void uart_irq(uint32_t iir, uint32_t index) {
+static inline void uart_irq(uint32_t iir, uint32_t index)
+{
     SerialIrq irq_type;
     switch (iir) {
         case 1:
             irq_type = TxIrq;
-        break;
+            break;
         case 2:
             irq_type = RxIrq;
-        break;
-        
-        default: return;
+            break;
+
+        default:
+            return;
     }
-    
-    if (serial_irq_ids[index] != 0){
+
+    if (serial_irq_ids[index] != 0) {
         irq_handler(serial_irq_ids[index], irq_type);
     }
 }
+
 #ifdef __cplusplus
 extern "C" {
 #endif
 void UART0_IRQHandler()
 {
-    uint32_t irtype =0;
-    
-    if(NRF_UART0->EVENTS_TXDRDY){
-        irtype =1;
-    }
-    else if(NRF_UART0->EVENTS_RXDRDY){
-        irtype =2;
+    uint32_t irtype = 0;
+
+    if (NRF_UART0->EVENTS_TXDRDY) {
+        irtype = 1;
+    } else if (NRF_UART0->EVENTS_RXDRDY) {
+        irtype = 2;
     }
     uart_irq(irtype, 0);
 }
+
 #ifdef __cplusplus
 }
 #endif
-void serial_irq_handler(serial_t *obj, uart_irq_handler handler, uint32_t id) {
-    irq_handler = handler;
+void serial_irq_handler(serial_t *obj, uart_irq_handler handler, uint32_t id)
+{
+    irq_handler                = handler;
     serial_irq_ids[obj->index] = id;
 }
 
-void serial_irq_set(serial_t *obj, SerialIrq irq, uint32_t enable) {
+void serial_irq_set(serial_t *obj, SerialIrq irq, uint32_t enable)
+{
     IRQn_Type irq_n = (IRQn_Type)0;
 
     switch ((int)obj->uart) {
-        case UART_0: irq_n=UART0_IRQn ;
+        case UART_0:
+            irq_n = UART0_IRQn;
             break;
     }
-    
+
     if (enable) {
         switch (irq) {
-            case RxIrq: obj->uart->INTENSET |= (UART_INTENSET_RXDRDY_Msk);break;
-            case TxIrq: obj->uart->INTENSET |= (UART_INTENSET_TXDRDY_Msk);break;
+            case RxIrq:
+                obj->uart->INTENSET |= (UART_INTENSET_RXDRDY_Msk);
+                break;
+            case TxIrq:
+                obj->uart->INTENSET |= (UART_INTENSET_TXDRDY_Msk);
+                break;
         }
         NVIC_SetPriority(irq_n, 3);
         NVIC_EnableIRQ(irq_n);
-    }
-    else { // disable
+    } else { // disable
         int all_disabled = 0;
         switch (irq) {
-            case RxIrq: obj->uart->INTENSET &= ~(UART_INTENSET_RXDRDY_Msk);
-                        all_disabled = (obj->uart->INTENSET& (UART_INTENSET_TXDRDY_Msk))==0;
-            break;
-            case TxIrq: obj->uart->INTENSET &= ~(UART_INTENSET_TXDRDY_Msk);
-                        all_disabled = (obj->uart->INTENSET& (UART_INTENSET_RXDRDY_Msk))==0;
-            break;
+            case RxIrq:
+                obj->uart->INTENSET &= ~(UART_INTENSET_RXDRDY_Msk);
+                all_disabled         = (obj->uart->INTENSET & (UART_INTENSET_TXDRDY_Msk))==0;
+                break;
+            case TxIrq:
+                obj->uart->INTENSET &= ~(UART_INTENSET_TXDRDY_Msk);
+                all_disabled         = (obj->uart->INTENSET & (UART_INTENSET_RXDRDY_Msk))==0;
+                break;
         }
-        
-        if (all_disabled){
+
+        if (all_disabled) {
             NVIC_DisableIRQ(irq_n);
         }
     }
@@ -208,35 +222,43 @@
 //******************************************************************************
 //* READ/WRITE
 //******************************************************************************
-int serial_getc(serial_t *obj) {
-    while (!serial_readable(obj));
-    
+int serial_getc(serial_t *obj)
+{
+    while (!serial_readable(obj)) {
+    }
+
     obj->uart->EVENTS_RXDRDY = 0;
-    
+
     return (uint8_t)obj->uart->RXD;
 }
 
-void serial_putc(serial_t *obj, int c) {
+void serial_putc(serial_t *obj, int c)
+{
     obj->uart->TXD = (uint8_t)c;
-    
-    while (!serial_writable(obj));
-    
-    obj->uart->EVENTS_TXDRDY =0;
+
+    while (!serial_writable(obj)) {
+    }
+
+    obj->uart->EVENTS_TXDRDY = 0;
 }
 
-int serial_readable(serial_t *obj) {
+int serial_readable(serial_t *obj)
+{
     return (obj->uart->EVENTS_RXDRDY == 1);
 }
 
-int serial_writable(serial_t *obj) {
+int serial_writable(serial_t *obj)
+{
     return (obj->uart->EVENTS_TXDRDY ==1);
 }
 
-void serial_break_set(serial_t *obj) {
+void serial_break_set(serial_t *obj)
+{
     obj->uart->TASKS_SUSPEND = 1;
 }
 
-void serial_break_clear(serial_t *obj) {
+void serial_break_clear(serial_t *obj)
+{
     obj->uart->TASKS_STARTTX = 1;
     obj->uart->TASKS_STARTRX = 1;
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/sleep.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/sleep.c	Wed Aug 27 08:45:06 2014 +0100
@@ -17,14 +17,16 @@
 #include "cmsis.h"
 #include "mbed_interface.h"
 
-void sleep(void) {
+void sleep(void)
+{
     // ensure debug is disconnected if semihost is enabled....
-    NRF_POWER->TASKS_LOWPWR=1;
+    NRF_POWER->TASKS_LOWPWR = 1;
     // wait for interrupt
     __WFE();
 }
 
-void deepsleep(void) {
+void deepsleep(void)
+{
     sleep();
- //   NRF_POWER->SYSTEMOFF=1;
+    //   NRF_POWER->SYSTEMOFF=1;
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/spi_api.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/spi_api.c	Wed Aug 27 08:45:06 2014 +0100
@@ -21,29 +21,29 @@
 #include "mbed_error.h"
 
 static const PinMap PinMap_SPI_SCLK[] = {
-    {SPI_PSELSCK0 , SPI_0, 0x01},
+    {SPI_PSELSCK0, SPI_0, 0x01},
     {SPI_PSELSCK1, SPI_1, 0x02},
     {SPIS_PSELSCK, SPIS, 0x03},
-    {NC   , NC   , 0}
+    {NC, NC, 0}
 };
 
 static const PinMap PinMap_SPI_MOSI[] = {
-    {SPI_PSELMOSI0 , SPI_0, 0x01},
+    {SPI_PSELMOSI0, SPI_0, 0x01},
     {SPI_PSELMOSI1, SPI_1, 0x02},
     {SPIS_PSELMOSI, SPIS, 0x03},
-    {NC   , NC   , 0}
+    {NC, NC, 0}
 };
 
 static const PinMap PinMap_SPI_MISO[] = {
-    {SPI_PSELMISO0 , SPI_0, 0x01},
+    {SPI_PSELMISO0, SPI_0, 0x01},
     {SPI_PSELMISO1, SPI_1, 0x02},
     {SPIS_PSELMISO, SPIS, 0x03},
-    {NC   , NC   , 0}
+    {NC, NC, 0}
 };
 
 static const PinMap PinMap_SPI_SSEL[] = {
     {SPIS_PSELSS, SPIS, 0x03},
-    {NC   , NC   , 0}
+    {NC, NC, 0}
 };
 //   {SPI_PSELSS0 , SPI_0, 0x01},
 #define SPIS_MESSAGE_SIZE 1
@@ -51,7 +51,8 @@
 volatile uint8_t m_rx_buf[SPIS_MESSAGE_SIZE] = {0};
 
 
-void spi_init(spi_t *obj, PinName mosi, PinName miso, PinName sclk, PinName ssel) {
+void spi_init(spi_t *obj, PinName mosi, PinName miso, PinName sclk, PinName ssel)
+{
     // determine the SPI to use
     SPIName spi_mosi = (SPIName)pinmap_peripheral(mosi, PinMap_SPI_MOSI);
     SPIName spi_miso = (SPIName)pinmap_peripheral(miso, PinMap_SPI_MISO);
@@ -59,22 +60,21 @@
     SPIName spi_ssel = (SPIName)pinmap_peripheral(ssel, PinMap_SPI_SSEL);
     SPIName spi_data = (SPIName)pinmap_merge(spi_mosi, spi_miso);
     SPIName spi_cntl = (SPIName)pinmap_merge(spi_sclk, spi_ssel);
-    SPIName spi = (SPIName)pinmap_merge(spi_data, spi_cntl);
+    SPIName spi      = (SPIName)pinmap_merge(spi_data, spi_cntl);
     //SPIName
-    if(ssel==NC){
-        obj->spi = (NRF_SPI_Type*)spi;
-        obj->spis = (NRF_SPIS_Type*)NC;
-    }
-    else{
-        obj->spi = (NRF_SPI_Type*)NC;
-        obj->spis = (NRF_SPIS_Type*)spi;
+    if (ssel==NC) {
+        obj->spi  = (NRF_SPI_Type *)spi;
+        obj->spis = (NRF_SPIS_Type *)NC;
+    } else {
+        obj->spi  = (NRF_SPI_Type *)NC;
+        obj->spis = (NRF_SPIS_Type *)spi;
     }
     MBED_ASSERT((int)obj->spi != NC || (int)obj->spis != NC);
 
-      // pin out the spi pins
-    if (ssel != NC) {//slave
-        obj->spis->POWER=0;
-        obj->spis->POWER=1;
+    // pin out the spi pins
+    if (ssel != NC) { //slave
+        obj->spis->POWER = 0;
+        obj->spis->POWER = 1;
 
         NRF_GPIO->PIN_CNF[mosi] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
@@ -96,26 +96,25 @@
                                     | (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos)
                                     | (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos)
                                     | (GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos);
-        
+
         obj->spis->PSELMOSI = mosi;
         obj->spis->PSELMISO = miso;
-        obj->spis->PSELSCK = sclk;
-        obj->spis->PSELCSN = ssel;
-        
-        obj->spis->EVENTS_END=0;
-        obj->spis->EVENTS_ACQUIRED=0;
-        obj->spis->MAXRX=SPIS_MESSAGE_SIZE;
-        obj->spis->MAXTX=SPIS_MESSAGE_SIZE;
-        obj->spis->TXDPTR = (uint32_t)&m_tx_buf[0];
-        obj->spis->RXDPTR = (uint32_t)&m_rx_buf[0];
-        obj->spis->SHORTS = (SPIS_SHORTS_END_ACQUIRE_Enabled<<SPIS_SHORTS_END_ACQUIRE_Pos);
+        obj->spis->PSELSCK  = sclk;
+        obj->spis->PSELCSN  = ssel;
+
+        obj->spis->EVENTS_END      = 0;
+        obj->spis->EVENTS_ACQUIRED = 0;
+        obj->spis->MAXRX           = SPIS_MESSAGE_SIZE;
+        obj->spis->MAXTX           = SPIS_MESSAGE_SIZE;
+        obj->spis->TXDPTR          = (uint32_t)&m_tx_buf[0];
+        obj->spis->RXDPTR          = (uint32_t)&m_rx_buf[0];
+        obj->spis->SHORTS          = (SPIS_SHORTS_END_ACQUIRE_Enabled << SPIS_SHORTS_END_ACQUIRE_Pos);
 
         spi_format(obj, 8, 0, 1);  // 8 bits, mode 0, slave
-    }
-    else{//master
-        obj->spi->POWER=0;
-        obj->spi->POWER=1;
-        
+    } else { //master
+        obj->spi->POWER = 0;
+        obj->spi->POWER = 1;
+
         //NRF_GPIO->DIR |= (1<<mosi);
         NRF_GPIO->PIN_CNF[mosi] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
@@ -123,14 +122,14 @@
                                     | (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos)
                                     | (GPIO_PIN_CNF_DIR_Output << GPIO_PIN_CNF_DIR_Pos);
         obj->spi->PSELMOSI = mosi;
-        
+
         NRF_GPIO->PIN_CNF[sclk] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
                                     | (GPIO_PIN_CNF_PULL_Disabled << GPIO_PIN_CNF_PULL_Pos)
                                     | (GPIO_PIN_CNF_INPUT_Connect << GPIO_PIN_CNF_INPUT_Pos)
                                     | (GPIO_PIN_CNF_DIR_Output << GPIO_PIN_CNF_DIR_Pos);
         obj->spi->PSELSCK = sclk;
-        
+
         //NRF_GPIO->DIR &= ~(1<<miso);
         NRF_GPIO->PIN_CNF[miso] = (GPIO_PIN_CNF_SENSE_Disabled << GPIO_PIN_CNF_SENSE_Pos)
                                     | (GPIO_PIN_CNF_DRIVE_S0S1 << GPIO_PIN_CNF_DRIVE_Pos)
@@ -139,53 +138,53 @@
                                     | (GPIO_PIN_CNF_DIR_Input << GPIO_PIN_CNF_DIR_Pos);
 
         obj->spi->PSELMISO = miso;
-        
+
         obj->spi->EVENTS_READY = 0U;
 
         spi_format(obj, 8, 0, 0);  // 8 bits, mode 0, master
         spi_frequency(obj, 1000000);
     }
-            
+}
+
+void spi_free(spi_t *obj) {
 }
 
-void spi_free(spi_t *obj) {}
-
-static inline void spi_disable(spi_t *obj, int slave) {
-    if(slave){
+static inline void spi_disable(spi_t *obj, int slave)
+{
+    if (slave) {
         obj->spis->ENABLE = (SPIS_ENABLE_ENABLE_Disabled << SPIS_ENABLE_ENABLE_Pos);
-    }
-    else{
+    } else {
         obj->spi->ENABLE = (SPI_ENABLE_ENABLE_Disabled << SPI_ENABLE_ENABLE_Pos);
     }
 }
 
-static inline void spi_enable(spi_t *obj, int slave) {
-    if(slave){
+static inline void spi_enable(spi_t *obj, int slave)
+{
+    if (slave) {
         obj->spis->ENABLE = (SPIS_ENABLE_ENABLE_Enabled << SPIS_ENABLE_ENABLE_Pos);
-    }
-    else{
+    } else {
         obj->spi->ENABLE = (SPI_ENABLE_ENABLE_Enabled << SPI_ENABLE_ENABLE_Pos);
     }
 }
 
-void spi_format(spi_t *obj, int bits, int mode, int slave) {
+void spi_format(spi_t *obj, int bits, int mode, int slave)
+{
     uint32_t config_mode = 0;
-    spi_disable(obj,slave);
-    
+    spi_disable(obj, slave);
+
     if (bits != 8) {
         error("Only 8bits SPI supported");
     }
-    
-    switch (mode)
-    {
+
+    switch (mode) {
         case 0:
-            config_mode = (SPI_CONFIG_CPHA_Leading << SPI_CONFIG_CPHA_Pos)  | (SPI_CONFIG_CPOL_ActiveHigh << SPI_CONFIG_CPOL_Pos);
+            config_mode = (SPI_CONFIG_CPHA_Leading << SPI_CONFIG_CPHA_Pos) | (SPI_CONFIG_CPOL_ActiveHigh << SPI_CONFIG_CPOL_Pos);
             break;
         case 1:
             config_mode = (SPI_CONFIG_CPHA_Trailing << SPI_CONFIG_CPHA_Pos) | (SPI_CONFIG_CPOL_ActiveHigh << SPI_CONFIG_CPOL_Pos);
             break;
         case 2:
-            config_mode = (SPI_CONFIG_CPHA_Leading << SPI_CONFIG_CPHA_Pos)  | (SPI_CONFIG_CPOL_ActiveLow << SPI_CONFIG_CPOL_Pos);
+            config_mode = (SPI_CONFIG_CPHA_Leading << SPI_CONFIG_CPHA_Pos) | (SPI_CONFIG_CPOL_ActiveLow << SPI_CONFIG_CPOL_Pos);
             break;
         case 3:
             config_mode = (SPI_CONFIG_CPHA_Trailing << SPI_CONFIG_CPHA_Pos) | (SPI_CONFIG_CPOL_ActiveLow << SPI_CONFIG_CPOL_Pos);
@@ -195,65 +194,63 @@
             break;
     }
     //default to msb first
-    if(slave){
-        obj->spis->CONFIG = (config_mode | (SPI_CONFIG_ORDER_MsbFirst << SPI_CONFIG_ORDER_Pos) );
+    if (slave) {
+        obj->spis->CONFIG = (config_mode | (SPI_CONFIG_ORDER_MsbFirst << SPI_CONFIG_ORDER_Pos));
+    } else {
+        obj->spi->CONFIG = (config_mode | (SPI_CONFIG_ORDER_MsbFirst << SPI_CONFIG_ORDER_Pos));
     }
-    else{
-        obj->spi->CONFIG  = (config_mode | (SPI_CONFIG_ORDER_MsbFirst << SPI_CONFIG_ORDER_Pos) );
-    }
-    
-    spi_enable(obj,slave);
+
+    spi_enable(obj, slave);
 }
 
-void spi_frequency(spi_t *obj, int hz) {
-    if((int)obj->spi==NC)
+void spi_frequency(spi_t *obj, int hz)
+{
+    if ((int)obj->spi==NC) {
         return;
-    spi_disable(obj,0);
-    
-    if(hz<250000) { //125Kbps
-        obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_K125;
-    }
-    else if(hz<500000){//250Kbps
-        obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_K250;
     }
-    else if(hz<1000000){//500Kbps
+    spi_disable(obj, 0);
+
+    if (hz<250000) { //125Kbps
+        obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_K125;
+    } else if (hz<500000) { //250Kbps
+        obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_K250;
+    } else if (hz<1000000) { //500Kbps
         obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_K500;
-    }
-    else if(hz<2000000){//1Mbps
+    } else if (hz<2000000) { //1Mbps
         obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_M1;
-    }
-    else if(hz<4000000){//2Mbps
+    } else if (hz<4000000) { //2Mbps
         obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_M2;
-    }
-    else if(hz<8000000){//4Mbps
+    } else if (hz<8000000) { //4Mbps
         obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_M4;
-    }
-    else{//8Mbps
+    } else { //8Mbps
         obj->spi->FREQUENCY = (uint32_t) SPI_FREQUENCY_FREQUENCY_M8;
     }
-    
-    spi_enable(obj,0);
+
+    spi_enable(obj, 0);
 }
 
-static inline int spi_readable(spi_t *obj) {
+static inline int spi_readable(spi_t *obj)
+{
     return (obj->spi->EVENTS_READY == 1);
 }
 
-static inline int spi_writeable(spi_t *obj) {
+static inline int spi_writeable(spi_t *obj)
+{
     return (obj->spi->EVENTS_READY == 0);
 }
 
+static inline int spi_read(spi_t *obj)
+{
+    while (!spi_readable(obj)) {
+    }
 
-static inline int spi_read(spi_t *obj) {
-    while (!spi_readable(obj)){
-    }
-    
-    obj->spi->EVENTS_READY =0;
+    obj->spi->EVENTS_READY = 0;
     return (int)obj->spi->RXD;
 }
 
-int spi_master_write(spi_t *obj, int value) {
-    while (!spi_writeable(obj)){
+int spi_master_write(spi_t *obj, int value)
+{
+    while (!spi_writeable(obj)) {
     }
     obj->spi->TXD = (uint32_t)value;
     return spi_read(obj);
@@ -263,17 +260,20 @@
 //    return (obj->spis->EVENTS_ACQUIRED==1);
 //}
 
-int spi_slave_receive(spi_t *obj) {
+int spi_slave_receive(spi_t *obj)
+{
     return obj->spis->EVENTS_END;
-};
+}
 
-int spi_slave_read(spi_t *obj) {
+int spi_slave_read(spi_t *obj)
+{
     return m_rx_buf[0];
 }
 
-void spi_slave_write(spi_t *obj, int value) {
-    m_tx_buf[0]= value & 0xFF;
-    obj->spis->TASKS_RELEASE=1;
-    obj->spis->EVENTS_ACQUIRED=0;
-    obj->spis->EVENTS_END=0;
+void spi_slave_write(spi_t *obj, int value)
+{
+    m_tx_buf[0]                = value & 0xFF;
+    obj->spis->TASKS_RELEASE   = 1;
+    obj->spis->EVENTS_ACQUIRED = 0;
+    obj->spis->EVENTS_END      = 0;
 }
--- a/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/us_ticker.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NORDIC/TARGET_MCU_NRF51822/us_ticker.c	Wed Aug 27 08:45:06 2014 +0100
@@ -21,107 +21,109 @@
 #define US_TICKER_TIMER      NRF_TIMER1
 #define US_TICKER_TIMER_IRQn TIMER1_IRQn
 
-int us_ticker_inited = 0;
-volatile uint16_t overflow=0; //overflow value that forms the upper 16 bits of the counter
-volatile uint16_t timeStamp=0;
+int us_ticker_inited        = 0;
+volatile uint16_t overflow  = 0; //overflow value that forms the upper 16 bits of the counter
+volatile uint16_t timeStamp = 0;
 
 #ifdef __cplusplus
 extern "C" {
-#endif 
-void TIMER1_IRQHandler(void){ 
+#endif
 
-     if ((US_TICKER_TIMER->EVENTS_COMPARE[1] != 0) && 
-       ((US_TICKER_TIMER->INTENSET & TIMER_INTENSET_COMPARE1_Msk) != 0))
-    {
-		US_TICKER_TIMER->EVENTS_COMPARE[1] = 0;
-		overflow++;    
-		US_TICKER_TIMER->CC[1] =0xFFFF;
-		if(timeStamp>0)
-		{			
-			timeStamp--;
-			if(timeStamp==0)
-			{				
-				us_ticker_clear_interrupt();
-				us_ticker_disable_interrupt();
-				us_ticker_irq_handler();					
-				return;
-			}
-		}			       
+void TIMER1_IRQHandler(void)
+{
+    if ((US_TICKER_TIMER->EVENTS_COMPARE[1] != 0) &&
+        ((US_TICKER_TIMER->INTENSET & TIMER_INTENSET_COMPARE1_Msk) != 0)) {
+        US_TICKER_TIMER->EVENTS_COMPARE[1] = 0;
+        overflow++;
+        US_TICKER_TIMER->CC[1] = 0xFFFF;
+        if (timeStamp>0) {
+            timeStamp--;
+            if (timeStamp==0) {
+                us_ticker_clear_interrupt();
+                us_ticker_disable_interrupt();
+                us_ticker_irq_handler();
+                return;
+            }
+        }
     }
-	if ((US_TICKER_TIMER->EVENTS_COMPARE[0] != 0) && 
-    ((US_TICKER_TIMER->INTENSET & TIMER_INTENSET_COMPARE0_Msk) != 0))
-    {	
-		us_ticker_clear_interrupt();
-		us_ticker_disable_interrupt();
-		if(timeStamp==0)
-			us_ticker_irq_handler();			
+    if ((US_TICKER_TIMER->EVENTS_COMPARE[0] != 0) &&
+        ((US_TICKER_TIMER->INTENSET & TIMER_INTENSET_COMPARE0_Msk) != 0)) {
+        us_ticker_clear_interrupt();
+        us_ticker_disable_interrupt();
+        if (timeStamp==0) {
+            us_ticker_irq_handler();
+        }
     }
-        
 }
+
 #ifdef __cplusplus
 }
-#endif 
-void us_ticker_init(void){
-    if (us_ticker_inited && US_TICKER_TIMER->POWER){
+#endif
+void us_ticker_init(void)
+{
+    if (us_ticker_inited && US_TICKER_TIMER->POWER) {
         return;
     }
-    
+
     us_ticker_inited = 1;
-    
+
     US_TICKER_TIMER->POWER = 0;
     US_TICKER_TIMER->POWER = 1;
-    
+
     US_TICKER_TIMER->MODE = TIMER_MODE_MODE_Timer;
-    
-    US_TICKER_TIMER->PRESCALER = 4;
-    US_TICKER_TIMER->BITMODE = TIMER_BITMODE_BITMODE_16Bit; 
-    US_TICKER_TIMER->TASKS_CLEAR =1;
-    US_TICKER_TIMER->CC[1] = 0xFFFF;
-    US_TICKER_TIMER->INTENSET = TIMER_INTENSET_COMPARE1_Set << TIMER_INTENSET_COMPARE1_Pos;
-	
+
+    US_TICKER_TIMER->PRESCALER   = 4;
+    US_TICKER_TIMER->BITMODE     = TIMER_BITMODE_BITMODE_16Bit;
+    US_TICKER_TIMER->TASKS_CLEAR = 1;
+    US_TICKER_TIMER->CC[1]       = 0xFFFF;
+    US_TICKER_TIMER->INTENSET    = TIMER_INTENSET_COMPARE1_Set << TIMER_INTENSET_COMPARE1_Pos;
+
     NVIC_SetPriority(US_TICKER_TIMER_IRQn, 3);
     NVIC_EnableIRQ(US_TICKER_TIMER_IRQn);
-    
+
     US_TICKER_TIMER->TASKS_START = 0x01;
 }
 
-uint32_t us_ticker_read(){
-    if (!us_ticker_inited || US_TICKER_TIMER->POWER==0){
+uint32_t us_ticker_read()
+{
+    if (!us_ticker_inited || (US_TICKER_TIMER->POWER==0)) {
         us_ticker_init();
     }
-    
-    uint16_t bufferedOverFlow   =         overflow;
-    US_TICKER_TIMER->TASKS_CAPTURE[2] = 1; 
-	
-    if(overflow!=bufferedOverFlow){
-		bufferedOverFlow = overflow;
-		US_TICKER_TIMER->TASKS_CAPTURE[2] = 1;
-	}
-    return (((uint32_t)bufferedOverFlow<<16) | US_TICKER_TIMER->CC[2]);
+
+    uint16_t bufferedOverFlow =         overflow;
+    US_TICKER_TIMER->TASKS_CAPTURE[2] = 1;
+
+    if (overflow!=bufferedOverFlow) {
+        bufferedOverFlow                  = overflow;
+        US_TICKER_TIMER->TASKS_CAPTURE[2] = 1;
+    }
+    return (((uint32_t)bufferedOverFlow << 16) | US_TICKER_TIMER->CC[2]);
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp){
-    if (!us_ticker_inited || US_TICKER_TIMER->POWER==0)
-    {
+void us_ticker_set_interrupt(unsigned int timestamp)
+{
+    if (!us_ticker_inited || (US_TICKER_TIMER->POWER == 0)) {
         us_ticker_init();
-    }	
-	
-	US_TICKER_TIMER->TASKS_CAPTURE[0] = 1;	
-	uint16_t tsUpper16 = (uint16_t)((timestamp-us_ticker_read())>>16);
-	if(tsUpper16>0){
-		if(timeStamp ==0 || timeStamp> tsUpper16){
-			timeStamp = tsUpper16;			
-		}
-	}
-	else{
-		US_TICKER_TIMER->INTENSET |= TIMER_INTENSET_COMPARE0_Set << TIMER_INTENSET_COMPARE0_Pos;
-		US_TICKER_TIMER->CC[0] += timestamp-us_ticker_read();
-	}
+    }
+
+    US_TICKER_TIMER->TASKS_CAPTURE[0] = 1;
+    uint16_t tsUpper16 = (uint16_t)((timestamp - us_ticker_read()) >> 16);
+    if (tsUpper16>0) {
+        if ((timeStamp ==0) || (timeStamp> tsUpper16)) {
+            timeStamp = tsUpper16;
+        }
+    } else {
+        US_TICKER_TIMER->INTENSET |= TIMER_INTENSET_COMPARE0_Set << TIMER_INTENSET_COMPARE0_Pos;
+        US_TICKER_TIMER->CC[0]    += timestamp - us_ticker_read();
+    }
 }
 
-void us_ticker_disable_interrupt(void){
+void us_ticker_disable_interrupt(void)
+{
     US_TICKER_TIMER->INTENCLR = TIMER_INTENCLR_COMPARE0_Clear << TIMER_INTENCLR_COMPARE0_Pos;
 }
-void us_ticker_clear_interrupt(void){
+
+void us_ticker_clear_interrupt(void)
+{
     US_TICKER_TIMER->EVENTS_COMPARE[0] = 0;
 }
--- a/targets/hal/TARGET_NXP/TARGET_LPC43XX/us_ticker.c	Wed Aug 27 04:00:07 2014 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC43XX/us_ticker.c	Wed Aug 27 08:45:06 2014 +0100
@@ -27,16 +27,16 @@
 void us_ticker_init(void) {
     if (us_ticker_inited) return;
     us_ticker_inited = 1;
-    
+
     US_TICKER_TIMER->CTCR = 0x0; // timer mode
     uint32_t PCLK = SystemCoreClock;
 
     US_TICKER_TIMER->TCR = 0x2;  // reset
-    
+
     uint32_t prescale = PCLK / 1000000; // default to 1MHz (1 us ticks)
     US_TICKER_TIMER->PR = prescale - 1;
     US_TICKER_TIMER->TCR = 1; // enable = 1, reset = 0
-    
+
     NVIC_SetVector(US_TICKER_TIMER_IRQn, (uint32_t)us_ticker_irq_handler);
     NVIC_EnableIRQ(US_TICKER_TIMER_IRQn);
 }
@@ -44,7 +44,7 @@
 uint32_t us_ticker_read() {
     if (!us_ticker_inited)
         us_ticker_init();
-    
+
     return US_TICKER_TIMER->TC;
 }