L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
vm
Go to the documentation of this file.
1// vi:set ft=cpp: -*- Mode: C++ -*-
6/*
7 * (c) 2008-2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8 * Alexander Warg <warg@os.inf.tu-dresden.de>
9 * economic rights: Technische Universität Dresden (Germany)
10 *
11 * License: see LICENSE.spdx (in this directory or the directories above)
12 */
13
14#pragma once
15
16#include <l4/sys/vm.h>
17#include <l4/sys/task>
18
19namespace L4 {
20
30class Vm : public Kobject_t<Vm, Task, L4_PROTO_VM>
31{
32public:
33#if defined(__arm__) || defined(__aarch64__)
44 l4_msgtag_t vgicc_map(l4_fpage_t const vgicc_fpage,
45 l4_utcb_t *utcb = l4_utcb()) noexcept
46 { return l4_task_vgicc_map_u(cap(), vgicc_fpage, utcb); }
47#endif
48
49protected:
50 Vm();
51
52private:
53 Vm(Vm const &);
54 void operator = (Vm const &);
55};
56
57};
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:750
l4_cap_idx_t cap() const noexcept
Return capability selector.
Definition kobject:69
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition utcb.h:56
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
Definition utcb.h:349
L4 low-level kernel interface.
Message tag data structure.
Definition types.h:266
Common task related definitions.
L4 flexpage type.
Definition __l4_fpage.h:76