#ifndef DIST2_H_
#define DIST2_H_
-#include <dist2/init.h>
-#include <dist2/getset.h>
-#include <dist2/pubsub.h>
-#include <dist2/lock.h>
-#include <dist2/barrier.h>
-#include <dist2/semaphores.h>
-#include <dist2/trigger.h>
+#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 /* DIST2_H_ */
#ifndef TEST_PARSER
#include <barrelfish/barrelfish.h>
-#include <dist2/definitions.h>
+#include <octopus/definitions.h>
#else
#define MAX_QUERY_LENGTH (5*1024)
#define SYS_ERR_OK 0
#include <stdint.h>
#include <if/dist2_defs.h>
-#include <dist2/trigger.h>
+#include <octopus/trigger.h>
typedef dist2_trigger_id_t subscription_t;
typedef trigger_handler_fn subscription_handler_fn;
#include <barrelfish/barrelfish.h>
#include <if/dist2_defs.h>
-#include <dist2/definitions.h>
+#include <octopus/definitions.h>
#define NOP_TRIGGER (dist2_trigger_t){ .in_case = 0, .m = 0, .trigger = 0, .st = 0 }
#include <barrelfish/barrelfish.h>
#include <if/dist2_defs.h>
-#include <dist2_server/service.h>
-#include <dist2/parser/ast.h>
+#include <octopus_server/service.h>
+#include <octopus/parser/ast.h>
/**
* \brief Stores a binding for the given id.
#include <barrelfish/barrelfish.h>
#include <if/dist2_defs.h>
-#include <dist2/definitions.h>
+#include <octopus/definitions.h>
struct dist_reply_state;
#include <barrelfish_kpi/domain_params.h>
#include <if/monitor_defs.h>
#include <trace/trace.h>
-#include <dist2/init.h>
+#include <octopus/init.h>
#include "threads.h"
#include "init.h"
#include <barrelfish/barrelfish.h>
-#include <dist2/init.h>
-#include <dist2/barrier.h>
-#include <dist2/getset.h>
-#include <dist2/trigger.h>
+#include <octopus/init.h>
+#include <octopus/barrier.h>
+#include <octopus/getset.h>
+#include <octopus/trigger.h>
#include "common.h"
#include <stdio.h>
#include <barrelfish/barrelfish.h>
-#include <dist2/init.h>
-#include <dist2/capability_storage.h>
+#include <octopus/init.h>
+#include <octopus/capability_storage.h>
/**
* \brief Get a capability from the capability store.
#include <barrelfish/event_mutex.h>
-#include <dist2/definitions.h>
+#include <octopus/definitions.h>
// TODO saw some TODOs in event_mutex_* so this will probably not work
// as expected right now
#include <barrelfish/barrelfish.h>
-#include <dist2/init.h>
-#include <dist2/getset.h>
-#include <dist2/parser/ast.h>
-#include <dist2/trigger.h>
+#include <octopus/init.h>
+#include <octopus/getset.h>
+#include <octopus/parser/ast.h>
+#include <octopus/trigger.h>
#include "strnatcmp.h"
#include "common.h"
#define DIST2_HANDLER_H_
#include <if/dist2_defs.h>
-#include <dist2/trigger.h>
-#include <dist2/pubsub.h>
+#include <octopus/trigger.h>
+#include <octopus/pubsub.h>
void trigger_handler(struct dist2_binding*, dist2_trigger_id_t,
uint64_t, dist2_mode_t, char*, uint64_t);
#include <barrelfish/barrelfish.h>
#include <barrelfish/threads.h>
-#include <dist2/init.h>
-#include <dist2/lock.h>
-#include <dist2/getset.h>
-#include <dist2/trigger.h>
+#include <octopus/init.h>
+#include <octopus/lock.h>
+#include <octopus/getset.h>
+#include <octopus/trigger.h>
#include "common.h"
#include <barrelfish/threads.h>
#include <barrelfish/nameservice_client.h>
-#include <dist2/init.h>
-#include <dist2/trigger.h>
-#include <dist2/getset.h>
+#include <octopus/init.h>
+#include <octopus/trigger.h>
+#include <octopus/getset.h>
errval_t nameservice_lookup(const char *iface, iref_t *retiref)
{
#include <barrelfish/nameservice_client.h>
#include <if/monitor_defs.h>
-#include <dist2/init.h>
+#include <octopus/init.h>
#include <thc/thc.h>
#include "handler.h"
#include <barrelfish/barrelfish.h>
#include <barrelfish/threads.h>
-#include <dist2/init.h>
-#include <dist2/pubsub.h>
+#include <octopus/init.h>
+#include <octopus/pubsub.h>
#include "common.h"
#include "handler.h"
#include <barrelfish/barrelfish.h>
-#include <dist2/init.h>
-#include <dist2/getset.h>
-#include <dist2/trigger.h>
-#include <dist2/lock.h>
-#include <dist2/semaphores.h>
+#include <octopus/init.h>
+#include <octopus/getset.h>
+#include <octopus/trigger.h>
+#include <octopus/lock.h>
+#include <octopus/semaphores.h>
#include "common.h"
#include <barrelfish/barrelfish.h>
#include <barrelfish/threads.h>
-#include <dist2/init.h>
-#include <dist2/trigger.h>
+#include <octopus/init.h>
+#include <octopus/trigger.h>
#include "handler.h"
#include "common.h"
#ifdef TEST_PARSER
#include "../../../include/dist2/parser/ast.h"
#else
-#include <dist2/parser/ast.h>
+#include <octopus/parser/ast.h>
#endif
#include "y.tab.h"
#ifdef TEST_PARSER
#include "../../../include/dist2/parser/ast.h"
#else
-#include <dist2/parser/ast.h>
+#include <octopus/parser/ast.h>
#endif
#include "y.tab.h"
#include <barrelfish/barrelfish.h>
-#include <dist2/getset.h>
-#include <dist2/parser/ast.h>
+#include <octopus/getset.h>
+#include <octopus/parser/ast.h>
/**
* \brief Reads the content of a record string based on the provided format.
#ifdef TEST_PARSER
#include "../../../include/dist2/parser/ast.h"
#else
-#include <dist2/parser/ast.h>
+#include <octopus/parser/ast.h>
#endif
// not in C99 :-(
#ifdef TEST_PARSER
#include "../../../include/dist2/parser/ast.h"
#else
-#include <dist2/parser/ast.h>
+#include <octopus/parser/ast.h>
#endif
#include "y.tab.h"
#include <barrelfish/barrelfish.h>
#include <if/dist2_defs.h>
-#include <dist2_server/init.h>
-#include <dist2_server/service.h>
-#include <dist2_server/debug.h>
+#include <octopus_server/init.h>
+#include <octopus_server/service.h>
+#include <octopus_server/debug.h>
#include <hashtable/hashtable.h>
#include <if/dist2_defs.h>
#include <if/monitor_defs.h>
-#include <dist2_server/init.h>
-#include <dist2_server/service.h>
-#include <dist2_server/debug.h>
+#include <octopus_server/init.h>
+#include <octopus_server/service.h>
+#include <octopus_server/debug.h>
#define DIST2_RPC_SERVICE_NAME "dist2_rpc"
#include <barrelfish/barrelfish.h>
#include <if/dist2_defs.h>
-#include <dist2_server/service.h>
+#include <octopus_server/service.h>
void dist_rpc_enqueue_reply(struct dist2_binding *b,
struct dist_reply_state* st);
#include <skb/skb.h> // read list
#include <if/dist2_defs.h>
-#include <dist2_server/service.h>
-#include <dist2_server/query.h>
-#include <dist2_server/debug.h>
+#include <octopus_server/service.h>
+#include <octopus_server/query.h>
+#include <octopus_server/debug.h>
-#include <dist2/parser/ast.h>
-#include <dist2/definitions.h>
+#include <octopus/parser/ast.h>
+#include <octopus/definitions.h>
#include <bench/bench.h>
#include <barrelfish_kpi/types.h>
#include <acpi.h>
#include <mm/mm.h>
-#include <dist2/getset.h>
-#include <dist2/barrier.h>
+#include <octopus/getset.h>
+#include <octopus/barrier.h>
#include <skb/skb.h>
#include <pci/confspace/pci_confspace.h>
#include "acpi_shared.h"
#include <mm/mm.h>
#include <if/monitor_blocking_rpcclient_defs.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#include "acpi_debug.h"
#include <acpi.h>
#include <mm/mm.h>
#include <skb/skb.h>
-#include <dist2/getset.h>
+#include <octopus/getset.h>
#include "acpi_shared.h"
#include "acpi_debug.h"
#include <acpi.h> // see add interrupt override
#include <skb/skb.h>
-#include <dist2/getset.h>
+#include <octopus/getset.h>
#include "ioapic.h"
#include "ioapic_debug.h"
#include <mm/mm.h>
#include <if/monitor_blocking_rpcclient_defs.h>
-#include <dist2/init.h>
+#include <octopus/init.h>
#include <skb/skb.h>
#include "ioapic.h"
#include <barrelfish/barrelfish.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "kaluga.h"
#define KALUGA_H_
#include <barrelfish/barrelfish.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "queue.h"
#include "debug.h"
#include <if/monitor_defs.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#include "kaluga.h"
#include <if/monitor_defs.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#include "kaluga.h"
#include <barrelfish/barrelfish.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#include "kaluga.h"
#include <pci/devids.h>
#include <mm/mm.h>
#include <skb/skb.h>
-#include <dist2/getset.h>
+#include <octopus/getset.h>
#include <acpi_client/acpi_client.h>
#include "pci.h"
#include <if/monitor_blocking_rpcclient_defs.h>
#include <mm/mm.h>
-#include <dist2/init.h>
+#include <octopus/init.h>
#include <skb/skb.h>
#include <acpi_client/acpi_client.h>
#define CODE_GENERATOR_H_
#include <barrelfish/barrelfish.h>
-#include <dist2/parser/ast.h>
+#include <octopus/parser/ast.h>
#include <eclipse.h>
struct skb_ec_terms {
#include <include/skb_server.h>
#include <collections/hash_table.h>
-#include <dist2_server/debug.h>
-#include <dist2_server/service.h>
-#include <dist2/trigger.h> // for trigger modes
+#include <octopus_server/debug.h>
+#include <octopus_server/service.h>
+#include <octopus/trigger.h> // for trigger modes
#include "predicates.h"
#include "skiplist.h"
#include <include/skb_server.h>
-#include <dist2_server/debug.h>
-#include <dist2_server/query.h>
-#include <dist2/parser/ast.h>
-#include <dist2/getset.h> // for SET_SEQUENTIAL define
+#include <octopus_server/debug.h>
+#include <octopus_server/query.h>
+#include <octopus/parser/ast.h>
+#include <octopus/getset.h> // for SET_SEQUENTIAL define
#include "code_generator.h"
#include "bitfield.h"
#include <include/skb_server.h>
#include <include/skb_debug.h>
-#include <dist2_server/init.h>
+#include <octopus_server/init.h>
#include <bench/bench.h>
#include <assert.h>
#include <barrelfish/barrelfish.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <barrelfish/barrelfish.h>
#include <bench/bench.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#define MAX_ITERATIONS 500
#include <barrelfish/barrelfish.h>
#include <bench/bench.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
/**
#include <barrelfish/barrelfish.h>
#include <bench/bench.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#define MAX_ITERATIONS 500
#include <barrelfish/barrelfish.h>
#include <bench/bench.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include <skb/skb.h>
#define MAX_SEND 100000
#include <barrelfish/barrelfish.h>
#include <skb/skb.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <barrelfish/deferred.h>
#include <skb/skb.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#define LOCKIT_CALLS 100000
#include <string.h>
#include <stdio.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <barrelfish/deferred.h>
#include <skb/skb.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <assert.h>
#include <barrelfish/barrelfish.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <barrelfish/deferred.h>
#include <skb/skb.h>
-#include <dist2/dist2.h>
+#include <octopus/dist2.h>
#include "common.h"
#include <barrelfish/barrelfish.h>
#include <barrelfish/threads.h>
-//#include <dist2/getset.h>
+//#include <octopus/getset.h>
#include <thc/thc.h>
#include <if/dist2_defs.h>