L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
random
Go to the documentation of this file.
1// -*- Mode: C++ -*-
2/* SPDX-License-Identifier: ((GPL-2.0-only WITH mif-exception) OR LicenseRef-kk-custom) */
3/*
4 * Copyright (C) 2019-2020, 2022 Kernkonzept GmbH.
5 * Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
6 *
7 */
12#pragma once
13
14#include <l4/sys/capability>
15#include <l4/sys/cxx/ipc_types>
16#include <l4/sys/cxx/ipc_iface>
17#include <l4/sys/icu>
18
19namespace L4Re
20{
21
34: public L4::Kobject_t<Random, L4::Icu>
35{
60 L4_INLINE_RPC(long, get_random, (l4_size_t size,
62
64};
65
66} // namespace
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:761
unsigned int l4_size_t
Unsigned size type.
Definition l4int.h:35
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Definition compiler.h:231
Interrupt controller.
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:469
L4Re C++ Interfaces.
Definition l4re.dox:17
Low-bandwidth interface for random number generators.
Definition random:35
Array data type for dynamically sized arrays in RPCs.
Definition ipc_array:93
Standard list of RPCs of an interface.
Definition __typeinfo.h:439