From 2e4bbfb84fbc6e875f822c45374ea0b4c6b3b00c Mon Sep 17 00:00:00 2001 From: Bogdan Marinescu Date: Thu, 3 Apr 2014 11:22:56 +0100 Subject: [PATCH] NMI handler is now in mbed_overrides.c --- .../TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c | 7 ------- 1 file changed, 7 deletions(-) diff --git a/libraries/mbed/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c b/libraries/mbed/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c index 95ccf3424a..e04970c744 100644 --- a/libraries/mbed/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c +++ b/libraries/mbed/targets/hal/TARGET_Freescale/TARGET_KSDK_MCUS/TARGET_K64F/gpio_irq_api.c @@ -205,10 +205,3 @@ void gpio_irq_disable(gpio_irq_t *obj) { } } -// 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); -}