From b8b42d3abd92d57aeae9137a2ff3bb8ff8202b9c Mon Sep 17 00:00:00 2001
From: emilmont <emilmont@gmail.com>
Date: Mon, 18 Mar 2013 10:31:26 +0000
Subject: [PATCH] Fix GCC build including define of ARMCC intrinsic
 __disable_irq

Change-Id: I13ca92e54d8f752cca18f5c75ac026526419edbe
---
 libraries/mbed/capi/us_ticker_api.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/mbed/capi/us_ticker_api.c b/libraries/mbed/capi/us_ticker_api.c
index 2f247f10b2..5b5d780636 100644
--- a/libraries/mbed/capi/us_ticker_api.c
+++ b/libraries/mbed/capi/us_ticker_api.c
@@ -15,6 +15,7 @@
  */
 #include <stddef.h>
 #include "us_ticker_api.h"
+#include "cmsis.h"
 
 static ticker_event_handler event_handler;
 static ticker_event_t *head = NULL;