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