Fixed missing/implicit includes in libbarrelfish headers.
authorMark Nevill <nevillm@ethz.ch>
Tue, 13 Mar 2012 15:57:53 +0000 (16:57 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 18 Jul 2013 12:57:01 +0000 (14:57 +0200)
13 files changed:
include/arch/x86_64/barrelfish/lmp_chan_arch.h
include/arch/x86_64/barrelfish/syscall_arch.h
include/barrelfish/caddr.h
include/barrelfish/debug.h
include/barrelfish/dispatch.h
include/barrelfish/event_queue.h
include/barrelfish/lmp_chan.h
include/barrelfish/lmp_endpoints.h
include/barrelfish/threads.h
include/barrelfish/waitset.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/lmp.h
include/barrelfish_kpi/syscalls.h

index 534c390..559173d 100644 (file)
@@ -17,6 +17,7 @@
 
 #include <barrelfish/syscall_arch.h>
 #include <barrelfish/caddr.h>
+#include <barrelfish/cspace.h>
 #include <barrelfish_kpi/lmp.h>
 
 /**
index 6b211a0..f35c5bf 100644 (file)
@@ -15,6 +15,7 @@
 #ifndef ARCH_X86_64_BARRELFISH_SYSCALL_H
 #define ARCH_X86_64_BARRELFISH_SYSCALL_H
 
+#include <barrelfish_kpi/syscalls.h>
 
 /*
  * Introduction to the syscall macros, or "what the hell is going on here"?
index 817dd29..34c0f99 100644 (file)
@@ -19,6 +19,8 @@
 #define INCLUDEBARRELFISH_CADDR_H
 
 #include <barrelfish_kpi/types.h>
+#include <stdint.h>
+#include <stdbool.h>
 
 /**
  * \brief User-level representation of a CNode, its CSpace address and size
index 832cfd1..ea7845a 100644 (file)
@@ -17,6 +17,7 @@
 
 #include <errors/errno.h>
 #include <barrelfish/caddr.h>
+#include <stddef.h>
 #include <barrelfish_kpi/registers_arch.h>
 
 struct capability;
index 4de2df6..801169d 100644 (file)
@@ -22,6 +22,8 @@
 #ifndef __ASSEMBLER__
 
 #include <barrelfish_kpi/dispatcher_handle.h>
+#include <barrelfish_kpi/registers_arch.h>
+#include <barrelfish_kpi/types.h>
 
 #ifdef  NDEBUG
 #define assert_disabled(e)      ((void)sizeof(e))
index 31a6a16..9e8041a 100644 (file)
@@ -16,7 +16,7 @@
 #define BARRELFISH_EVENT_QUEUE_H
 
 #include <barrelfish/waitset.h>
-#include <barrelfish/threads.h>
+#include <barrelfish/thread_sync.h>
 
 /// What mode does an event queue operate in?
 enum event_queue_mode {
index 6138f65..87b8f42 100644 (file)
@@ -18,6 +18,7 @@
 #include <barrelfish/waitset.h>
 #include <barrelfish/lmp_endpoints.h>
 #include <barrelfish/idc.h>
+#include <assert.h>
 
 struct lmp_chan;
 struct event_queue_node;
index 5704c9b..69edd58 100644 (file)
@@ -17,6 +17,8 @@
 
 #include <barrelfish/waitset.h>
 #include <barrelfish_kpi/lmp.h>
+#include <barrelfish/caddr.h>
+#include <barrelfish_kpi/dispatcher_handle.h>
 
 /// In-endpoint size of a maximum-sized LMP message plus header
 #define LMP_RECV_LENGTH         (LMP_MSG_LENGTH + LMP_RECV_HEADER_LENGTH)
index 6da13e9..4e3b8e8 100644 (file)
@@ -16,6 +16,7 @@
 #define LIBBARRELFISH_THREADS_H
 
 #include <barrelfish/thread_sync.h>
+#include <barrelfish/caddr.h>
 
 typedef int (*thread_func_t)(void *);
 
index c67f8ad..f472edf 100644 (file)
@@ -15,6 +15,9 @@
 #ifndef BARRELFISH_WAITSET_H
 #define BARRELFISH_WAITSET_H
 
+#include <barrelfish/types.h>
+#include <errors/errno.h>
+
 struct waitset;
 struct thread;
 
index b429e44..2a7d2d0 100644 (file)
@@ -44,6 +44,7 @@ struct dcb;
 
 #include <barrelfish_kpi/capbits.h>
 #include <assert.h>
+#include <stdbool.h>
 
 static inline bool type_is_vnode(enum objtype type)
 {
index 5dec2b0..2adaa2f 100644 (file)
@@ -16,6 +16,7 @@
 #define LMP_H
 
 #include <barrelfish_kpi/lmp_arch.h>
+#include <barrelfish_kpi/types.h>
 
 #define LMP_RECV_HEADER_LENGTH  1 /* word */
 
index beea813..c0dab56 100644 (file)
@@ -17,6 +17,9 @@
 
 #ifndef __ASSEMBLER__
 
+#include <stdint.h>
+#include <errors/errno.h>
+
 /// return type from a system call: two words
 struct sysret {
     errval_t  error;