mbed library sources

Dependents:   frdm_kl05z_gpio_test

Fork of mbed-src by mbed official

Revision:
148:213f3ebbe634
Parent:
146:f64d43ff0c18
diff -r 39a1839cac63 -r 213f3ebbe634 targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c
--- a/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c	Thu Apr 03 00:00:07 2014 +0100
+++ b/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c	Thu Apr 03 11:30:06 2014 +0100
@@ -205,10 +205,3 @@
     }
 }
 
-// Change the NMI pin to an input. This allows NMI pin to
-//  be used as a low power mode wakeup.  The application will
-//  need to change the pin back to NMI_b or wakeup only occurs once!
-void NMI_Handler(void) {
-    gpio_t gpio;
-    gpio_init_in(&gpio, PTA4);
-}