L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
rm_impl.h
Go to the documentation of this file.
1
5/*
6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
7 * Alexander Warg <warg@os.inf.tu-dresden.de>
8 * economic rights: Technische Universität Dresden (Germany)
9 *
10 * License: see LICENSE.spdx (in this directory or the directories above)
11 */
12#include <l4/bid_config.h>
13#include <l4/re/rm>
14#include <l4/re/dataspace>
15
16#include <l4/sys/cxx/ipc_client>
17
18#include <l4/sys/task>
19#include <l4/sys/err.h>
20
29
30namespace L4Re
31{
32
33long
34Rm::attach(l4_addr_t *start, unsigned long size, Rm::Flags flags,
35 L4::Ipc::Cap<Dataspace> mem, Rm::Offset offs,
36 unsigned char align, L4::Cap<L4::Task> const task,
37 char const *name, Rm::Offset backing_offset) const noexcept
38{
39 if ((flags & F::Rights_mask) == Flags(0)
40 || (flags & (F::Reserved | F::Kernel)))
42
43 char const n = '\0';
44 long e = attach_t::call(c(), start, size, flags, mem, offs, align,
45 mem.cap().cap(), name ? name : &n, backing_offset);
46 if (e < 0)
47 return e;
48
49#ifdef CONFIG_MMU
50 if ((flags & (F::Eager_map | F::No_eager_map)) == F::Eager_map)
51#else
52 if (!(flags & F::No_eager_map) && mem.is_valid())
53#endif
54 e = mem.cap()->map_region(offs, map_flags(flags), *start, *start + size,
55 task);
56
57 return e;
58}
59
60int
61Rm::detach(l4_addr_t start, unsigned long size, L4::Cap<Dataspace> *mem,
62 L4::Cap<L4::Task> task, unsigned flags) const noexcept
63{
64 l4_addr_t rstart = 0, rsize = 0;
66 long e = detach_t::call(c(), start, size, flags, rstart, rsize, mem_cap);
67 if (L4_UNLIKELY(e < 0))
68 return e;
69
70 if (mem)
71 *mem = L4::Cap<L4Re::Dataspace>(mem_cap);
72
73 if (!task.is_valid())
74 return e;
75
76 rsize = l4_round_page(rsize);
77 unsigned order = L4_LOG2_PAGESIZE;
78 unsigned long sz = (1UL << order);
79 for (unsigned long p = rstart; rsize; p += sz, rsize -= sz)
80 {
81 while (sz > rsize)
82 {
83 --order;
84 sz >>= 1;
85 }
86
87 for (;;)
88 {
89 unsigned long m = sz << 1;
90 if (m > rsize)
91 break;
92
93 if (p & (m - 1))
94 break;
95
96 ++order;
97 sz <<= 1;
98 }
99
100 task->unmap(l4_fpage(p, order, L4_FPAGE_RWX),
102 }
103
104 return e;
105}
106}
long free_area(l4_addr_t addr)
Free an area from the region map.
long reserve_area(l4_addr_t *start, unsigned long size, Flags flags=Flags(0), unsigned char align=L4_PAGESHIFT) const noexcept
Reserve the given area in the region map.
Definition rm:280
long get_regions(l4_addr_t start, L4::Ipc::Ret_array< Region > regions)
Return the list of regions whose starting addresses are higher or equal to start in the address space...
long find(l4_addr_t *addr, unsigned long *size, Offset *offset, L4Re::Rm::Flags *flags, L4::Cap< Dataspace > *m) noexcept
Find a region given an address and size.
Definition rm:672
long get_areas(l4_addr_t start, L4::Ipc::Ret_array< Area > areas)
Return the list of areas whose starting addresses are higher or equal to start in the address space m...
long attach(l4_addr_t *start, unsigned long size, Flags flags, L4::Ipc::Cap< Dataspace > mem, Offset offs=0, unsigned char align=L4_PAGESHIFT, L4::Cap< L4::Task > const task=L4::Cap< L4::Task >::Invalid, char const *name=nullptr, Offset backing_offset=0) const noexcept
Attach a data space to a region.
Definition rm_impl.h:34
long get_info(l4_addr_t addr, L4::Ipc::String< char > &name, Offset &backing_offset)
Return auxiliary information of a region.
int detach(l4_addr_t addr, L4::Cap< Dataspace > *mem, L4::Cap< L4::Task > const &task=This_task) const noexcept
Detach and unmap a region from the address space.
Definition rm:765
C++ interface for capabilities.
Definition capability.h:224
Capability type for RPC interfaces (see L4::Cap<T>).
Definition ipc_types:699
Dataspace interface.
Error codes.
unsigned long l4_addr_t
Address type.
Definition l4int.h:34
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:336
@ L4_INVALID_CAP
Invalid capability selector.
Definition consts.h:153
l4_fpage_t l4_fpage(l4_addr_t address, unsigned int order, unsigned char rights) L4_NOTHROW
Create a memory flexpage.
Definition __l4_fpage.h:703
@ L4_FPAGE_RWX
Read-write-execute flexpage.
Definition __l4_fpage.h:125
l4_addr_t l4_round_page(l4_addr_t address) L4_NOTHROW
Round address up to the next page.
Definition consts.h:473
#define L4_LOG2_PAGESIZE
Number of bits used for page offset.
Definition consts.h:409
@ L4_FP_ALL_SPACES
Flag to tell the unmap operation to revoke permissions from all child mappings including the mapping ...
Definition consts.h:183
#define L4_UNLIKELY(x)
Expression is unlikely to execute.
Definition compiler.h:284
#define L4_RPC_DEF(name)
Generate the definition of an RPC stub.
Definition ipc_client:32
L4Re C++ Interfaces.
Definition cmd_control:14
Region mapper interface.
@ Rights_mask
Region rights.
Definition rm:131
@ Reserved
Region is reserved (blocked).
Definition rm:152
@ Kernel
Kernel-provided memory (KUMEM).
Definition rm:146
@ No_eager_map
Prevent eager mapping of the attached data space.
Definition rm:120
@ Eager_map
Eagerly map the attached data space in.
Definition rm:118
Common task related definitions.