mbed library sources

Dependents:   Freedman_v2 Nucleo_i2c_OLED_BME280_copy

Fork of mbed-src by mbed official

Revision:
35:371630885ad6
Parent:
13:0645d8841f51
--- a/hal/gpio_irq_api.h	Fri Oct 11 13:30:08 2013 +0100
+++ b/hal/gpio_irq_api.h	Mon Oct 21 11:45:04 2013 +0100
@@ -37,6 +37,8 @@
 int  gpio_irq_init(gpio_irq_t *obj, PinName pin, gpio_irq_handler handler, uint32_t id);
 void gpio_irq_free(gpio_irq_t *obj);
 void gpio_irq_set (gpio_irq_t *obj, gpio_irq_event event, uint32_t enable);
+void gpio_irq_enable(gpio_irq_t *obj);
+void gpio_irq_disable(gpio_irq_t *obj);
 
 #ifdef __cplusplus
 }