1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9#include <sel4/sel4.h>
10
11struct _RpcMessage;
12typedef struct _RpcMessage RpcMessage;
13
14typedef struct sel4rpc_client_env {
15    seL4_CPtr server_ep;
16    seL4_Word magic;
17} sel4rpc_client_t;
18
19int sel4rpc_client_init(sel4rpc_client_t *client, seL4_CPtr server_ep, seL4_Word magic);
20int sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root,
21                 seL4_CPtr capPtr, seL4_Word capDepth);
22