libbarrelfish: Spilt private waitset_chan.h header into a public and private
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)
               header.

* Check all files that included the old header, if the need the private or the
  public header or both or none at all. Some files included the header but
  didn't use any of the functions provided by the header.

* Change libahci so that it no longer uses the libbarrelfish-private header.

16 files changed:
include/barrelfish/waitset_chan.h [new file with mode: 0644]
lib/ahci/Hakefile
lib/ahci/ahci.c
lib/barrelfish/arch/x86/ipi_notify.c
lib/barrelfish/deferred.c
lib/barrelfish/domain.c
lib/barrelfish/event_queue.c
lib/barrelfish/flounder_support.c
lib/barrelfish/include/waitset_chan_priv.h [moved from lib/barrelfish/include/waitset_chan.h with 59% similarity]
lib/barrelfish/lmp_chan.c
lib/barrelfish/lmp_endpoints.c
lib/barrelfish/monitor_client.c
lib/barrelfish/multihop_chan.c
lib/barrelfish/ump_chan.c
lib/barrelfish/ump_endpoint.c
lib/barrelfish/waitset.c

diff --git a/include/barrelfish/waitset_chan.h b/include/barrelfish/waitset_chan.h
new file mode 100644 (file)
index 0000000..605936f
--- /dev/null
@@ -0,0 +1,39 @@
+/**
+ * \file
+ * \brief Waitset interface to channel implementations
+ */
+
+/*
+ * Copyright (c) 2009, 2011, 2012, ETH Zurich.
+ * All rights reserved.
+ *
+ * This file is distributed under the terms in the attached LICENSE file.
+ * If you do not find this file, copies can be found by writing to:
+ * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+ */
+
+#ifndef BARRELFISH_WAITSET_CHAN_H
+#define BARRELFISH_WAITSET_CHAN_H
+
+#include <barrelfish/waitset.h>
+
+static inline bool waitset_chan_is_registered(struct waitset_chanstate *chan)
+{
+    return chan->waitset != NULL &&
+            (chan->state == CHAN_IDLE || chan->state == CHAN_POLLED);
+}
+
+void waitset_chanstate_init(struct waitset_chanstate *chan,
+                            enum ws_chantype chantype);
+void waitset_chanstate_destroy(struct waitset_chanstate *chan);
+errval_t waitset_chan_trigger(struct waitset_chanstate *chan);
+errval_t waitset_chan_trigger_closure(struct waitset *ws,
+                                      struct waitset_chanstate *chan,
+                                      struct event_closure closure);
+errval_t waitset_chan_deregister(struct waitset_chanstate *chan);
+errval_t waitset_chan_register(struct waitset *ws, struct waitset_chanstate *chan,
+                               struct event_closure closure);
+void waitset_chan_migrate(struct waitset_chanstate *chan,
+                          struct waitset *new_ws);
+
+#endif // BARRELFISH_WAITSET_CHAN_H
index efa2c99..e25ba40 100644 (file)
@@ -1,6 +1,6 @@
 
 --------------------------------------------------------------------------
--- Copyright (c) 2007-2011, ETH Zurich.
+-- Copyright (c) 2007-2012, ETH Zurich.
 -- All rights reserved.
 --
 -- This file is distributed under the terms in the attached LICENSE file.
@@ -16,7 +16,6 @@
                       flounderBindings = [ "ahci_mgmt" ],
                       flounderExtraBindings = [ ("ahci_mgmt", ["rpcclient"]) ],
                       mackerelDevices = [ "ata_identify", "ahci_port", "ahci_hba" ],
-                      addLibraries = [ ],
-                      addIncludes = [ "/lib/barrelfish/include" ]
+                      addLibraries = [ ]
                 }
 ]
index 246b628..49e3fe0 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * 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.
@@ -9,6 +9,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/waitset.h>
+#include <barrelfish/waitset_chan.h>
 #include <barrelfish/nameservice_client.h>
 #include <if/ahci_mgmt_defs.h>
 #include <dev/ahci_hba_dev.h> // this is used to parse HBA capabilities
@@ -17,7 +18,6 @@
 #include <ahci/ahci_dma_pool.h>
 #include <ahci/ahci_util.h>
 #include <string.h>
-#include <waitset_chan.h>
 #include "ahci_debug.h"
 #include "ahci_internal.h"
 
index 1fefccd..4cdb6b8 100644 (file)
@@ -14,7 +14,6 @@
 
 #include <barrelfish/barrelfish.h>
 #include <arch/x86/barrelfish/ipi_notify.h>
-#include "waitset_chan.h"
 #include <if/monitor_defs.h>
 
 static void ipi_alloc_notify_reply(struct monitor_binding *b, uintptr_t st,
index c33b737..ade374c 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2009, 2011, ETH Zurich.
+ * Copyright (c) 2009, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -14,6 +14,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/deferred.h>
+#include <barrelfish/waitset_chan.h>
 
 // FIXME: why do I need quite so many dispatcher headers?
 #include <barrelfish/dispatch.h>
@@ -21,7 +22,7 @@
 #include <barrelfish/curdispatcher_arch.h>
 #include <barrelfish_kpi/dispatcher_shared.h>
 
-#include "waitset_chan.h"
+#include "waitset_chan_priv.h"
 
 // kludge: the kernel currently reports time in ms rather than us
 #define SYSTIME_MULTIPLIER 1000
index e1b9fcf..2dc8b5b 100644 (file)
@@ -22,6 +22,7 @@
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/curdispatcher_arch.h>
 #include <barrelfish/dispatcher_arch.h>
+#include <barrelfish/waitset_chan.h>
 #include <arch/registers.h>
 #include <barrelfish/dispatch.h>
 #include <if/interdisp_defs.h>
@@ -29,7 +30,7 @@
 #include "init.h"
 #include <if/monitor_defs.h>
 #include "threads.h"
-#include "waitset_chan.h"
+#include "waitset_chan_priv.h"
 
 ///< Struct to maintain per dispatcher domain library state
 struct domain_state {
index d64d334..0480114 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_queue.h>
-#include "waitset_chan.h"
+#include <barrelfish/waitset_chan.h>
 
 /**
  * \brief Initialise a new event queue
index 86c3e14..b3d1937 100644 (file)
@@ -4,7 +4,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.
 #include <string.h>
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/monitor_client.h>
+#include <barrelfish/waitset_chan.h>
 #include <flounder/flounder_support.h>
 #include <flounder/flounder_support_caps.h>
 #include <if/monitor_defs.h>
-#include "waitset_chan.h"
 
 /*
  * NB: many of these functions are trivial, but exist so that we don't need to
similarity index 59%
rename from lib/barrelfish/include/waitset_chan.h
rename to lib/barrelfish/include/waitset_chan_priv.h
index 1a0e424..9c29a1f 100644 (file)
@@ -1,10 +1,10 @@
 /**
  * \file
- * \brief Waitset interface to channel implementations
+ * \brief Libbarrelfish-private waitset interface to channel implementations
  */
 
 /*
- * Copyright (c) 2009, 2011, ETH Zurich.
+ * Copyright (c) 2009, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
 
-#ifndef BARRELFISH_WAITSET_CHAN_H
-#define BARRELFISH_WAITSET_CHAN_H
+#ifndef BARRELFISH_WAITSET_CHAN_PRIV_H
+#define BARRELFISH_WAITSET_CHAN_PRIV_H
 
 #include <barrelfish/waitset.h>
 
-static inline bool waitset_chan_is_registered(struct waitset_chanstate *chan)
-{
-    return chan->waitset != NULL &&
-            (chan->state == CHAN_IDLE || chan->state == CHAN_POLLED);
-}
-
-void waitset_chanstate_init(struct waitset_chanstate *chan,
-                            enum ws_chantype chantype);
-void waitset_chanstate_destroy(struct waitset_chanstate *chan);
-errval_t waitset_chan_trigger(struct waitset_chanstate *chan);
 errval_t waitset_chan_trigger_disabled(struct waitset_chanstate *chan,
                                        dispatcher_handle_t handle);
-errval_t waitset_chan_trigger_closure(struct waitset *ws,
-                                      struct waitset_chanstate *chan,
-                                      struct event_closure closure);
 errval_t waitset_chan_trigger_closure_disabled(struct waitset *ws,
                                                struct waitset_chanstate *chan,
                                                struct event_closure closure,
                                                dispatcher_handle_t handle);
-errval_t waitset_chan_deregister(struct waitset_chanstate *chan);
 errval_t waitset_chan_deregister_disabled(struct waitset_chanstate *chan);
-errval_t waitset_chan_register(struct waitset *ws, struct waitset_chanstate *chan,
-                               struct event_closure closure);
 errval_t waitset_chan_register_disabled(struct waitset *ws,
                                         struct waitset_chanstate *chan,
                                         struct event_closure closure);
@@ -52,7 +36,5 @@ errval_t waitset_chan_register_polled_disabled(struct waitset *ws,
                                                dispatcher_handle_t handle);
 errval_t waitset_chan_start_polling(struct waitset_chanstate *chan);
 errval_t waitset_chan_stop_polling(struct waitset_chanstate *chan);
-void waitset_chan_migrate(struct waitset_chanstate *chan,
-                          struct waitset *new_ws);
 
-#endif // BARRELFISH_WAITSET_CHAN_H
+#endif // BARRELFISH_WAITSET_CHAN_PRIV_H
index b12a734..e321bf4 100644 (file)
@@ -18,7 +18,8 @@
 #include <if/monitor_defs.h>
 #include <barrelfish/caddr.h>
 #include <barrelfish/idc_export.h>
-#include "waitset_chan.h"
+#include <barrelfish/waitset_chan.h>
+#include "waitset_chan_priv.h"
 
 /**
  * \brief Initialise a new LMP channel
index 2c8fdfe..102468b 100644 (file)
@@ -19,7 +19,8 @@
 #include <barrelfish/curdispatcher_arch.h>
 #include <barrelfish/lmp_endpoints.h>
 #include <barrelfish/caddr.h>
-#include "waitset_chan.h"
+#include <barrelfish/waitset_chan.h>
+#include "waitset_chan_priv.h"
 
 static void endpoint_init(struct lmp_endpoint *ep)
 {
index e81efd6..a751ed3 100644 (file)
@@ -4,7 +4,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.
@@ -17,7 +17,6 @@
 #include <if/monitor_defs.h>
 #include <barrelfish/monitor_client.h>
 #include <if/monitor_blocking_rpcclient_defs.h>
-#include "waitset_chan.h"
 #include <string.h>
 #include <inttypes.h>
 
index db86a16..428fc6a 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * 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.
@@ -19,7 +19,6 @@
 #include <if/monitor_defs.h>
 #include <collections/hash_table.h>
 #include <bench/bench.h>
-#include "waitset_chan.h"
 
 // TODO remove this
 #include <stdio.h>
index 64505c3..d9f5393 100644 (file)
@@ -16,7 +16,6 @@
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/ump_chan.h>
 #include <barrelfish/idc_export.h>
-#include "waitset_chan.h"
 #include <if/monitor_defs.h>
 
 /* UMP channels need to be mapped non-cacheable on SCC */
index 59e237b..76869c1 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2009, 2011, ETH Zurich.
+ * Copyright (c) 2009, 2011, 2012, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE file.
@@ -16,7 +16,8 @@
 #include <barrelfish/ump_endpoint.h>
 #include <barrelfish/ump_impl.h>
 #include <barrelfish/waitset.h>
-#include "waitset_chan.h"
+#include <barrelfish/waitset_chan.h>
+#include "waitset_chan_priv.h"
 
 /**
  * \brief Initialise a new UMP endpoint
index 33db36e..cd0194f 100644 (file)
@@ -9,7 +9,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.
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/waitset.h>
+#include <barrelfish/waitset_chan.h>
 #include <barrelfish/threads.h>
 #include <barrelfish/dispatch.h>
 #include <threads.h>
-#include "waitset_chan.h"
+#include "waitset_chan_priv.h"
 
 #ifdef CONFIG_INTERCONNECT_DRIVER_UMP
 #  include <barrelfish/ump_endpoint.h>