Guido Grassel / mbed-src

Dependents:   Seeed_Barometer_Sensor_Example

Fork of mbed-src by mbed official

Revision:
227:7bd0639b8911
Parent:
188:e2558dbb5ee5
Child:
265:9632ea190e16
--- a/targets/hal/TARGET_Freescale/TARGET_KPSDK_MCUS/TARGET_K64F/serial_api.c	Wed Jun 11 09:45:09 2014 +0100
+++ b/targets/hal/TARGET_Freescale/TARGET_KPSDK_MCUS/TARGET_K64F/serial_api.c	Wed Jun 11 16:00:09 2014 +0100
@@ -17,12 +17,12 @@
 
 // math.h required for floating point operations for baud rate calculation
 #include <math.h>
+#include "mbed_assert.h"
 
 #include <string.h>
 
 #include "cmsis.h"
 #include "pinmap.h"
-#include "error.h"
 #include "fsl_uart_hal.h"
 #include "fsl_clock_manager.h"
 #include "fsl_uart_features.h"
@@ -85,9 +85,7 @@
     uint32_t uart_tx = pinmap_peripheral(tx, PinMap_UART_TX);
     uint32_t uart_rx = pinmap_peripheral(rx, PinMap_UART_RX);
     obj->index = (UARTName)pinmap_merge(uart_tx, uart_rx);
-    if ((int)obj->index == NC) {
-        error("Serial pinout mapping failed");
-    }
+    MBED_ASSERT((int)obj->index != NC);
 
     uart_config_t uart_config;
     uart_config.baudRate = 9600;