mbed libraries for KL25Z

Dependents:   FRDM_RGBLED

Revision:
8:c14af7958ef5
Parent:
7:73c5efe92a6c
Child:
9:663789d7729f
--- a/gpio_irq_api.h	Tue Oct 23 09:20:18 2012 +0000
+++ b/gpio_irq_api.h	Fri Nov 09 11:33:53 2012 +0000
@@ -8,9 +8,6 @@
 
 #if DEVICE_INTERRUPTIN
 
-#include "PinNames.h"
-#include "PortNames.h"
-
 #ifdef __cplusplus
 extern "C" {
 #endif
@@ -21,13 +18,7 @@
     IRQ_FALL
 } gpio_irq_event;
 
-typedef struct {
-#if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_KL25Z) 
-    uint32_t port;
-    uint32_t pin;
-#endif
-    uint32_t ch;
-} gpio_irq_object;
+typedef struct gpio_irq_object_s gpio_irq_object;
 
 typedef void (*gpio_irq_handler)(uint32_t id, gpio_irq_event event);