random

Go to the documentation of this file.

// -*- Mode: C++ -*-
/* SPDX-License-Identifier: ((GPL-2.0-only WITH mif-exception) OR LicenseRef-kk-custom) */
/*
 * Copyright (C) 2019-2020, 2022 Kernkonzept GmbH.
 * Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
 *
 */
#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