L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
rcv_endpoint.h
Go to the documentation of this file.
1
5/*
6 * (c) 2017 Alexander Warg <alexander.warg@kernkonzept.com>
7 *
8 * This file is part of TUD:OS and distributed under the terms of the
9 * GNU General Public License 2.
10 * Please see the COPYING-GPL-2 file for details.
11 *
12 * As a special exception, you may use this file as part of a free software
13 * library without restriction. Specifically, if other files instantiate
14 * templates or use macros or inline functions from this file, or you compile
15 * this file and link it with other files to produce an executable, this
16 * file does not by itself cause the resulting executable to be covered by
17 * the GNU General Public License. This exception does not however
18 * invalidate any other reasons why the executable file might be covered by
19 * the GNU General Public License.
20 */
21#pragma once
22
23#include <l4/sys/utcb.h>
24#include <l4/sys/types.h>
25
56 l4_umword_t label);
57
63l4_rcv_ep_bind_thread_u(l4_cap_idx_t ep, l4_cap_idx_t thread,
64 l4_umword_t label, l4_utcb_t *utcb);
65
68{
70};
71
72/* IMPLEMENTATION -----------------------------------------------------------*/
73
74#include <l4/sys/ipc.h>
75
77l4_rcv_ep_bind_thread_u(l4_cap_idx_t ep,
78 l4_cap_idx_t thread, l4_umword_t label,
79 l4_utcb_t *utcb)
80{
81 l4_msg_regs_t *m = l4_utcb_mr_u(utcb);
82 m->mr[0] = L4_RCV_EP_BIND_OP;
83 m->mr[1] = label;
84 m->mr[2] = l4_map_obj_control(0, 0);
85 m->mr[3] = l4_obj_fpage(thread, 0, L4_CAP_FPAGE_RWS).raw;
86 return l4_ipc_call(ep, utcb, l4_msgtag(L4_PROTO_KOBJECT, 2, 1, 0),
88}
89
92 l4_umword_t label)
93{
94 return l4_rcv_ep_bind_thread_u(ep, thread, label, l4_utcb());
95}
96
97
unsigned long l4_umword_t
Unsigned machine word.
Definition l4int.h:51
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:359
l4_fpage_t l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW
Create a kernel-object flex page.
Definition __l4_fpage.h:680
@ L4_CAP_FPAGE_RWS
Read, interface specific 'W', and 'S' rights for capability flex-pages.
Definition __l4_fpage.h:209
l4_msgtag_t l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW
Object call (usual invocation).
Definition ipc.h:576
l4_msgtag_t l4_rcv_ep_bind_thread(l4_cap_idx_t ep, l4_cap_idx_t thread, l4_umword_t label)
Bind the IPC receive endpoint to a thread.
l4_umword_t l4_map_obj_control(l4_umword_t spot, unsigned grant) L4_NOTHROW
Create the first word for a map item for the object space.
Definition __l4_fpage.h:714
l4_msgtag_t l4_msgtag(long label, unsigned words, unsigned items, unsigned flags) L4_NOTHROW
Create a message tag from the specified values.
Definition types.h:428
@ L4_PROTO_KOBJECT
Protocol for messages to a generic kobject.
Definition types.h:62
#define L4_IPC_NEVER
never timeout
Definition __timeout.h:84
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition utcb.h:67
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
Definition utcb.h:340
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:62
Common L4 ABI Data Types.
L4_rcv_ep_ops
Receive endpoint operations.
@ L4_RCV_EP_BIND_OP
Bind operation.
Message tag data structure.
Definition types.h:164
l4_umword_t raw
Raw value.
Definition __l4_fpage.h:87
Encapsulation of the message-register block in the UTCB.
Definition utcb.h:79
l4_umword_t mr[L4_UTCB_GENERIC_DATA_SIZE]
Message registers.
Definition utcb.h:80