1/**
2 * \file
3 * \brief Queue for stack-ripped octopus server-side handler code
4 */
5
6/*
7 * Copyright (c) 2009, 2010, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#ifndef OCTOPUS_QUEUE_H
16#define OCTOPUS_QUEUE_H
17
18#include <barrelfish/barrelfish.h>
19#include <if/octopus_defs.h>
20
21#include <octopus_server/service.h>
22
23void oct_rpc_enqueue_reply(struct octopus_binding *b,
24        struct oct_reply_state* st);
25struct oct_reply_state* oct_rpc_dequeue_reply(struct octopus_binding *b);
26
27#endif // OCTOPUS_QUEUE_H
28