libbarrelfish: Rename the header lib/barrelfish/include/threads.h to
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Thu, 25 Oct 2012 07:04:47 +0000 (09:04 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Thu, 25 Oct 2012 07:04:47 +0000 (09:04 +0200)
               lib/barrelfish/include/threads_priv.h.

To avoid confusion between the public and the private thread header, rename
the libbarrelfish-private thread header to threads_priv.h.

--HG--
rename : lib/barrelfish/include/threads.h => lib/barrelfish/include/threads_priv.h

15 files changed:
lib/barrelfish/arch/arm/dispatch.c
lib/barrelfish/arch/x86/tls.c
lib/barrelfish/arch/x86_32/dispatch.c
lib/barrelfish/arch/x86_64/dispatch.c
lib/barrelfish/dispatch.c
lib/barrelfish/domain.c
lib/barrelfish/event_mutex.c
lib/barrelfish/include/arch/arm/arch/registers.h
lib/barrelfish/include/target/x86_32/registers_target.h
lib/barrelfish/include/target/x86_64/registers_target.h
lib/barrelfish/include/threads_priv.h [moved from lib/barrelfish/include/threads.h with 96% similarity]
lib/barrelfish/init.c
lib/barrelfish/thread_sync.c
lib/barrelfish/threads.c
lib/barrelfish/waitset.c

index 313bd01..35b7a68 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -17,7 +17,7 @@
 #include <barrelfish/dispatcher_arch.h>
 #include <barrelfish/syscalls.h>
 #include <barrelfish/static_assert.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 #include <asmoffsets.h>
 #ifndef OFFSETOF_DISP_DISABLED
index 088fbdf..b4b0298 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2011, ETH Zurich.
+ * Copyright (c) 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -13,7 +13,7 @@
  */
 
 #include <barrelfish/barrelfish.h>
-#include "threads.h"
+#include "threads_priv.h"
 
 struct tls_index {
     uintptr_t ti_module;
index 46fdfe9..245b817 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -17,7 +17,7 @@
 #include <barrelfish/dispatcher_arch.h>
 #include <barrelfish/curdispatcher_arch.h>
 #include <barrelfish/syscalls.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 /* entry points defined in assembler code */
 extern void run_entry(void);
index a7fcf56..700b4a8 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -17,7 +17,7 @@
 #include <barrelfish/dispatcher_arch.h>
 #include <barrelfish/curdispatcher_arch.h>
 #include <barrelfish/syscalls.h>
-#include <threads.h>
+#include "threads_priv.h"
 #include <arch/ldt.h>
 
 /* entry points defined in assembler code */
index aa25ba4..3ca8d20 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -24,7 +24,7 @@
 #include <barrelfish/debug.h>
 #include <barrelfish/deferred.h>
 #include <barrelfish_kpi/cpu_arch.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 #ifdef CONFIG_INTERCONNECT_DRIVER_LMP
 # include <barrelfish/lmp_chan.h>
index 2dc8b5b..d378243 100644 (file)
@@ -10,7 +10,7 @@
  */
 
 /*
- * Copyright (c) 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -29,7 +29,7 @@
 #include "arch/threads.h"
 #include "init.h"
 #include <if/monitor_defs.h>
-#include "threads.h"
+#include "threads_priv.h"
 #include "waitset_chan_priv.h"
 
 ///< Struct to maintain per dispatcher domain library state
index 16de085..d8c5fd6 100644 (file)
@@ -7,7 +7,7 @@
  */
 
 /*
- * Copyright (c) 2010, ETH Zurich.
+ * Copyright (c) 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -17,7 +17,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/event_mutex.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 /// Initialise a new event mutex
 void event_mutex_init(struct event_mutex *em, struct waitset *waitset)
index 6914606..3c9ba1e 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2010, ETH Zurich.
+ * Copyright (c) 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -16,7 +16,7 @@
 #define ARCH_ARM_BARRELFISH_REGISTERS_H
 
 #include <barrelfish/curdispatcher_arch.h> // XXX For curdispatcher()
-#include <threads.h>
+#include "threads_priv.h"
 
 static inline uint32_t
 curgotbase(void)
index e73ecdd..8f0698e 100644 (file)
@@ -5,7 +5,7 @@
  */
 
 /*
- * Copyright (c) 2010, 2011, ETH Zurich.
+ * Copyright (c) 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -18,7 +18,7 @@
 
 #include <target/x86_32/barrelfish_kpi/registers_target.h>
 #include <target/x86_32/barrelfish/dispatcher_target.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 static inline bool
 registers_x86_32_check_stack_bounds(struct dispatcher_generic *disp_gen,
index 0e3918f..07439e4 100644 (file)
@@ -5,7 +5,7 @@
  */
 
 /*
- * Copyright (c) 2010, ETH Zurich.
+ * Copyright (c) 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -18,7 +18,7 @@
 
 #include <target/x86_64/barrelfish_kpi/registers_target.h>
 #include <target/x86_64/barrelfish_kpi/cpu_target.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 static inline bool
 registers_x86_64_check_stack_bounds(struct dispatcher_generic *disp_gen,
similarity index 96%
rename from lib/barrelfish/include/threads.h
rename to lib/barrelfish/include/threads_priv.h
index e99a87a..a26e3f2 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2009, 2010, ETH Zurich.
+ * Copyright (c) 2009, 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -7,8 +7,8 @@
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
 
-#ifndef PRIVATE_LIBBARRELFISH_THREADS_H
-#define PRIVATE_LIBBARRELFISH_THREADS_H
+#ifndef LIBBARRELFISH_THREADS_PRIV_H
+#define LIBBARRELFISH_THREADS_PRIV_H
 
 #include <barrelfish/dispatcher_arch.h>
 #include <barrelfish/except.h>
@@ -31,7 +31,7 @@ enum thread_state {
 };
 
 /** \brief A thread of execution / thread control block (TCB)
- * 
+ *
  * NB: on some ABIs (namely x86_{32,64}), the TLS blocks for initially-loaded
  * (i.e. not dlopen()ed) modules _precede_ this structure in memory. Therefore
  * it's not safe to directly malloc() or free() a thread structure.
@@ -111,4 +111,4 @@ void thread_deliver_exception_disabled(dispatcher_handle_t handle,
                                        enum exception_type type, int subtype,
                                        void *addr, arch_registers_state_t *regs);
 
-#endif
+#endif // LIBBARRELFISH_THREADS_PRIV_H
index 7ba2289..d3de66b 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -28,7 +28,7 @@
 #include <if/monitor_defs.h>
 #include <trace/trace.h>
 #include <octopus/init.h>
-#include "threads.h"
+#include "threads_priv.h"
 #include "init.h"
 
 /// Are we the init domain (and thus need to take some special paths)?
index 2a8d0d9..5842583 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -16,7 +16,7 @@
 #include <barrelfish/dispatch.h>
 #include <barrelfish/dispatcher_arch.h>
 #include <trace/trace.h>
-#include <threads.h>
+#include "threads_priv.h"
 
 #ifndef TRACE_THREADS
 #define trace_event(a,b,c) ((void)0)
index 4c27ac0..967f076 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2007, 2008, 2009, 2010, 2011, ETH Zurich.
+ * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -29,7 +29,7 @@
 #include <trace/trace.h>
 
 #include "arch/threads.h"
-#include "threads.h"
+#include "threads_priv.h"
 #include "init.h"
 
 #if defined(__x86_64__)
index cd0194f..3a2c01c 100644 (file)
@@ -22,7 +22,7 @@
 #include <barrelfish/waitset_chan.h>
 #include <barrelfish/threads.h>
 #include <barrelfish/dispatch.h>
-#include <threads.h>
+#include "threads_priv.h"
 #include "waitset_chan_priv.h"
 
 #ifdef CONFIG_INTERCONNECT_DRIVER_UMP