L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
random
Go to the documentation of this file.
1// -*- Mode: C++ -*-
2/*
3 * Copyright (C) 2019-2020, 2022, 2024 Kernkonzept GmbH.
4 * Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
5 *
6 * License: see LICENSE.spdx (in this directory or the directories above)
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:750
unsigned int l4_size_t
Unsigned size type.
Definition l4int.h:24
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Definition compiler.h:210
Interrupt controller.
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:476
L4Re C++ Interfaces.
Definition cmd_control:14
Low-bandwidth interface for random number generators.
Definition random:35
Array data type for dynamically sized arrays in RPCs.
Definition ipc_array:82
Standard list of RPCs of an interface.
Definition __typeinfo.h:428