Loading...
Searching...
No Matches
random
Go to the documentation of this file.
// -*- Mode: C++ -*-
/*
* Copyright (C) 2019-2020, 2022, 2024 Kernkonzept GmbH.
* Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#pragma once
#include <l4/sys/capability>
#include <l4/sys/cxx/ipc_types>
#include <l4/sys/cxx/ipc_iface>
#include <l4/sys/icu>
namespace L4Re
{
struct L4_EXPORT Random
: public L4::Kobject_t<Random, L4::Icu>
{
L4_INLINE_RPC(long, get_random, (l4_size_t size,
L4::Ipc::Array<char, unsigned long> *buffer));
typedef L4::Typeid::Rpcs<get_random_t> Rpcs;
};
} // namespace
capability
L4::Cap related definitions.
L4::Kobject_t
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:750
l4_size_t
unsigned int l4_size_t
Unsigned size type.
Definition l4int.h:24
L4_EXPORT
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Definition compiler.h:214
icu
Interrupt controller.
ipc_iface
Interface Definition Language.
L4_INLINE_RPC
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:482
ipc_types
L4Re
L4Re C++ Interfaces.
Definition cmd_control:14
L4Re::Random
Low-bandwidth interface for random number generators.
Definition random:35
L4Re::Random::get_random
long get_random(l4_size_t size, L4::Ipc::Array< char, unsigned long > *buffer)
Get a random number.
L4::Ipc::Array
Array data type for dynamically sized arrays in RPCs.
Definition ipc_array:82
L4::Typeid::Rpcs
Standard list of RPCs of an interface.
Definition __typeinfo.h:428