mbed libraries for KL25Z

Dependents:   FRDM_RGBLED

Revision:
0:8024c367e29f
Child:
8:c14af7958ef5
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/us_ticker_api.h	Fri Oct 05 09:16:41 2012 +0000
@@ -0,0 +1,25 @@
+/* mbed Microcontroller Library - us_ticker_api
+ * Copyright (c) 2009 ARM Limited. All rights reserved.
+ */ 
+#ifndef MBED_US_TICKER_API_H
+#define MBED_US_TICKER_API_H
+
+#include <stdint.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif 
+
+uint32_t us_ticker_read(void);
+
+void us_ticker_set_handler(uint32_t vector);
+
+void us_ticker_set_interrupt(unsigned int timestamp);
+void us_ticker_disable_interrupt(void);
+void us_ticker_clear_interrupt(void);
+
+#ifdef __cplusplus
+}
+#endif 
+
+#endif