Removed if/octopus_defs.h from public header file.
authorGerd Zellweger <mail@gerdzellweger.com>
Wed, 3 May 2017 09:43:25 +0000 (11:43 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Wed, 3 May 2017 09:46:33 +0000 (11:46 +0200)
Referenced in definitions.h and trigger.h.

trigger.h is problematic because it provides helper functions for
types definied in the interface. Clients that want to use trigger.h
now have to make sure to include the interface file.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

17 files changed:
include/octopus/definitions.h
include/octopus/octopus.h
include/octopus/pubsub.h
lib/barrelfish/spawn_client.c
lib/octopus/client/barriers.c
lib/octopus/client/getset.c
lib/octopus/client/locking.c
lib/octopus/client/pubsub.c
lib/octopus/client/semaphores.c
lib/octopus/client/trigger.c
lib/posixcompat/pty.c
usr/acpi/acpi_main.c
usr/drivers/e1000/e1000n.c
usr/drivers/xeon_phi/domain.c
usr/kaluga/start_cpu.c
usr/kaluga/start_int_ctrl.c
usr/kaluga/start_pci.c

index 3699ce3..0a1d4f0 100644 (file)
 #ifndef OCTOPUS_DEFINITIONS_H_
 #define OCTOPUS_DEFINITIONS_H_
 
-#include <if/octopus_defs.h>
 #include <bitmacros.h>
 
 /* compile max response length as maximum of possible interface sizes */
-#define MAX_QUERY_LENGTH \
-MAX(octopus__get_names_response_output_MAX_ARGUMENT_SIZE, \
-MAX(octopus__get_response_output_MAX_ARGUMENT_SIZE, \
-octopus__get_with_idcap_response_output_MAX_ARGUMENT_SIZE))
-
+//#define MAX_QUERY_LENGTH
+//MAX(octopus__get_names_response_output_MAX_ARGUMENT_SIZE,
+//MAX(octopus__get_response_output_MAX_ARGUMENT_SIZE,
+//octopus__get_with_idcap_response_output_MAX_ARGUMENT_SIZE))
+#define MAX_QUERY_LENGTH 4096
 
 
 //
index 9d613a1..81a9cb4 100644 (file)
 
 #include <octopus/init.h>
 #include <octopus/getset.h>
-#include <octopus/pubsub.h>
 #include <octopus/lock.h>
 #include <octopus/barrier.h>
 #include <octopus/semaphores.h>
-#include <octopus/trigger.h>
 
 #endif /* OCTOPUS_H_ */
index 60ba118..654f5a3 100644 (file)
 #define OCTOPUS_PUBSUB_H_
 
 #include <stdint.h>
-#include <octopus/trigger.h>
 
-typedef octopus_trigger_id_t subscription_t;
-typedef trigger_handler_fn subscription_handler_fn;
+typedef uint64_t subscription_t;
+typedef void(*subscription_handler_fn)(octopus_mode_t mode, const char* record, void* state);
 
 errval_t oct_subscribe(subscription_handler_fn, const void*, subscription_t*,
         const char*, ...);
index 594d208..0350c5e 100644 (file)
 #include <if/spawn_defs.h>
 #include <if/arrakis_defs.h>
 #include <if/monitor_defs.h>
+#include <if/octopus_defs.h>
 #include <vfs/vfs_path.h>
 
 // For spawn_program_on_all_cores
 #include <octopus/getset.h> // for oct_read TODO
 #include <octopus/trigger.h> // for NOP_TRIGGER
-#include <if/octopus_defs.h>
+
 
 
 extern char **environ;
index eafa458..c2df1c2 100644 (file)
 
 #include <barrelfish/barrelfish.h>
 
+#include <if/octopus_defs.h>
+#include <if/octopus_thc.h>
+
 #include <octopus/init.h>
 #include <octopus/barrier.h>
 #include <octopus/getset.h>
 #include <octopus/trigger.h>
-#include <if/octopus_defs.h>
-#include <if/octopus_thc.h>
 
 #include "common.h"
 
index a4b0e64..de4a155 100644 (file)
 
 #include <barrelfish/barrelfish.h>
 
+#include <if/octopus_defs.h>
+#include <if/octopus_thc.h>
+
 #include <octopus/init.h>
 #include <octopus/getset.h>
 #include <octopus/parser/ast.h>
 #include <octopus/trigger.h>
-#include <if/octopus_defs.h>
-#include <if/octopus_thc.h>
 
 #include "common.h"
 
-
 /**
  * \brief Retrieve all record names matching a given query.
  *
index fad5e1b..1f0a8b7 100644 (file)
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/threads.h>
 
+#include <if/octopus_defs.h>
+#include <if/octopus_thc.h>
+
 #include <octopus/init.h>
 #include <octopus/lock.h>
 #include <octopus/getset.h>
 #include <octopus/trigger.h>
-#include <if/octopus_defs.h>
-#include <if/octopus_thc.h>
 
 #include "common.h"
 
index cb2fcf2..e7378bb 100644 (file)
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/threads.h>
 
-#include <octopus/init.h>
-#include <octopus/pubsub.h>
 #include <if/octopus_defs.h>
 #include <if/octopus_thc.h>
 
+#include <octopus/init.h>
+#include <octopus/pubsub.h>
+
 #include "common.h"
 #include "handler.h"
 
index 10386e2..27b84de 100644 (file)
 
 #include <barrelfish/barrelfish.h>
 
+#include <if/octopus_defs.h>
+#include <if/octopus_thc.h>
+
 #include <octopus/init.h>
 #include <octopus/getset.h>
 #include <octopus/trigger.h>
 #include <octopus/lock.h>
 #include <octopus/semaphores.h>
-#include <if/octopus_defs.h>
-#include <if/octopus_thc.h>
 
 #include "common.h"
 
index 652ab01..81d41b5 100644 (file)
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/threads.h>
 
+#include <if/octopus_defs.h>
+#include <if/octopus_thc.h>
+
 #include <octopus/init.h>
 #include <octopus/getset.h>
 #include <octopus/trigger.h>
-#include <if/octopus_defs.h>
-#include <if/octopus_thc.h>
 
 #include "handler.h"
 #include "common.h"
index 71f64cd..f1497e8 100644 (file)
@@ -25,8 +25,8 @@
 #include <barrelfish/waitset.h>
 #include <collections/list.h>
 #include <if/octopus_defs.h>
-#include <if/octopus_defs.h>
 #include <octopus/octopus.h>
+#include <octopus/trigger.h>
 #include <posixcompat.h>
 #include <term/server/server.h>
 #include <vfs/fdtab.h>
index 087ca30..4c5ec6c 100644 (file)
@@ -135,4 +135,3 @@ int main(int argc, char *argv[])
 
     messages_handler_loop();
 }
-
index a8091fd..8398f14 100644 (file)
 #include <string.h>
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/nameservice_client.h>
+
+#include <if/octopus_defs.h>
+#include <if/net_queue_manager_defs.h>
+
 #include <octopus/octopus.h>
+#include <octopus/trigger.h>
 #include <net_queue_manager/net_queue_manager.h>
-#include <if/net_queue_manager_defs.h>
 #include <trace/trace.h>
 #ifdef LIBRARY
 #       include <netif/e1000.h>
index d4cf788..91363fe 100644 (file)
 #include <stdio.h>
 #include <string.h>
 #include <barrelfish/barrelfish.h>
-#include <octopus/octopus.h>
 
 #include <if/octopus_defs.h>
-#include <if/octopus_defs.h>
 #include <if/octopus_thc.h>
 
+#include <octopus/octopus.h>
+#include <octopus/trigger.h>
+
 #include "xeon_phi_internal.h"
 #include "domain.h"
 #include "interphi.h"
index cfa2a29..5632ed3 100644 (file)
 #include <barrelfish/cpu_arch.h>
 
 #include <if/monitor_defs.h>
+#include <if/octopus_defs.h>
 
 #include <octopus/octopus.h>
+#include <octopus/trigger.h>
+
 #include <skb/skb.h>
 #include <trace/trace.h>
 #include <barrelfish/spawn_client.h>
index d9a4ea6..1f53db4 100644 (file)
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/spawn_client.h>
 
-#include <octopus/octopus.h>
+#include <if/octopus_defs.h>
 #include <if/octopus_thc.h>
+
+#include <octopus/octopus.h>
+#include <octopus/trigger.h>
+
 #include <skb/skb.h>
 #include <thc/thc.h>
 
index 43bfcb8..477d431 100644 (file)
 
 #include <barrelfish/barrelfish.h>
 
-#include <octopus/octopus.h>
+#include <if/octopus_defs.h>
 #include <if/octopus_thc.h>
+
+#include <octopus/octopus.h>
+#include <octopus/trigger.h>
+
 #include <skb/skb.h>
 #include <thc/thc.h>
 
@@ -87,11 +91,11 @@ static void pci_change_event(octopus_mode_t mode, const char* device_record,
         if (err_is_fail(err)) {
             USER_PANIC_ERR(err, "Got malformed device record?");
         }
-        
+
         /* duplicate device record as we may need it for later */
         device_record = strdup(device_record);
         assert(device_record);
-        
+
 
         // Ask the SKB which binary and where to start it...
         static char* query = "find_pci_driver(pci_card(%"PRIu64", %"PRIu64", _, _, _), Driver),"
@@ -289,7 +293,7 @@ errval_t watch_for_pci_root_bridge(void)
     assert(err_is_ok(err));
     err = sys_debug_create_irq_src_cap(all_irq_cap, 0, 65536);
     assert(err_is_ok(err));
-    
+
 #endif
     static char* root_bridge = "r'hw\\.pci\\.rootbridge\\.[0-9]+' { "
                                " bus: _, device: _, function: _, maxbus: _,"