From af68c095916b6d26aa6cd198299f22383621d3e3 Mon Sep 17 00:00:00 2001
From: Pat Hickey <pat@galois.com>
Date: Fri, 7 Sep 2012 16:06:41 -0700
Subject: [PATCH] AP_HAL Namespace: typedef Proc and TimedProc

---
 libraries/AP_HAL/AP_HAL_Namespace.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/libraries/AP_HAL/AP_HAL_Namespace.h b/libraries/AP_HAL/AP_HAL_Namespace.h
index c95641489e..eed9dfc90d 100644
--- a/libraries/AP_HAL/AP_HAL_Namespace.h
+++ b/libraries/AP_HAL/AP_HAL_Namespace.h
@@ -2,6 +2,8 @@
 #ifndef __AP_HAL_NAMESPACE_H__
 #define __AP_HAL_NAMESPACE_H__
 
+#include <stdint.h>
+
 namespace AP_HAL {
 
     /* Toplevel pure virtual class Hal.*/
@@ -25,6 +27,10 @@ namespace AP_HAL {
     class Print;
     class Stream;
     class BetterStream;
+
+    /* Typdefs for function pointers (Procedure, Timed Procedure) */
+    typedef void(*Proc)(void);
+    typedef void(*TimedProc)(uint32_t);
 }