L4Re – L4 Runtime Environment
random
1 // -*- Mode: C++ -*-
2 /* SPDX-License-Identifier: ((GPL-2.0-only WITH mif-exception) OR LicenseRef-kk-custom) */
3 /*
4  * Copyright (C) 2019-2020 Kernkonzept GmbH.
5  * Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
6  *
7  */
8 #pragma once
9 
10 #include <l4/sys/capability>
11 #include <l4/sys/cxx/ipc_types>
12 #include <l4/sys/cxx/ipc_iface>
13 #include <l4/sys/icu>
14 
15 namespace L4Re
16 {
17 
29 struct L4_EXPORT Random
30 : public L4::Kobject_t<Random, L4::Icu>
31 {
56  L4_INLINE_RPC(long, get_random, (l4_size_t size,
58 
60 };
61 
62 } // namespace
unsigned int l4_size_t
Unsigned size type.
Definition: l4int.h:35
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
Definition: __typeinfo.h:760
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: cmd_control:15
Low-bandwidth interface for random number generators.
Definition: random:31
Array data type for dynamically sized arrays in RPCs.
Definition: ipc_array:86
List of RPCs typically used for kernel interfaces.
Definition: __typeinfo.h:475
Standard list of RPCs of an interface.
Definition: __typeinfo.h:438