| /l4re-core-master/l4sys/include/ |
| A D | kip | 4 * L4::Kip class, memory descriptors.
32 /* C++ version of memory descriptors */
61 Undefined = 0x0, ///< Undefined memory
91 * Get first memory descriptor.
123 * Set number of memory descriptors.
157 * Initialize memory descriptor.
163 * \param virt True for virtual memory, false for physical memory,
180 * Return end address of memory descriptor.
194 * Return type of the memory descriptor.
196 * \return Type of the memory descriptor
[all …]
|
| /l4re-core-master/l4re/include/ |
| A D | mem_alloc | 40 // * shall we support superpages in noncont memory?
45 * The memory-allocator API is the basic API to allocate memory from the
46 * L4Re subsystem. The memory is allocated in terms of dataspaces (see
53 * A memory allocator can provide dataspaces with additional properties,
54 * such as physically contiguous memory, pre-allocated memory, or pinned
55 * memory. To request memory with an additional property the
58 * allocation of memory with a certain property, the allocation may be
68 * They describe requested properties of the allocated memory.
73 Continuous = 0x01, ///< Allocate physically contiguous memory
79 * Allocate anonymous memory.
[all …]
|
| A D | dma_space | 44 * the memory must be unmapped from the device's DMA address space.
49 * and cannot be subject to dynamic memory management such as swapping.
71 Bidirectional, ///< device reads and writes to the memory
72 To_device, ///< device reads the memory
73 From_device, ///< device writes to the memory
74 None ///< device is coherently connected to the memory
78 * Attributes used for the memory region during the transfer.
84 * Do not sync the memory hierarchy.
121 * physical memory.
164 * \param size The size (bytes) of the memory region to unmap.
[all …]
|
| A D | dataspace | 45 * Interface for memory-like objects.
50 * registers of a device, or anonymous memory, such as a heap.
54 * an L4 task and then be accessed via memory-access instructions.
85 /// Request write-only memory
93 /// request normal memory mapping
95 /// request normal memory mapping
99 /// request uncacheable memory mappings
162 * Map a part of a dataspace into a local memory area.
202 * Zeroes out the memory. Depending on the type of memory
203 * the memory could also be deallocated and replaced by
[all …]
|
| A D | mmio_space | 21 * Interface for memory-like address space accessible via IPC.
27 * via mappings of memory pages.
30 * devices share the same memory page. With respect to security and safety,
31 * it is often not allowed to map a memory page to multiple device drivers
36 * gets exclusive access to the shared memory page, and that drivers can
|
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | region.cc | 75 if ((r_flags & Rm::F::Reserved) || !h->memory().is_valid()) in map()
81 L4::cap_reinterpret_cast<L4::Pager>(h->memory()) in map()
93 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in map()
102 if ((h->flags() & Rm::F::Reserved) || !h->memory().is_valid()) in free()
108 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in free()
125 i->second.offset(), i->second.memory().cap(), in debug_dump()
|
| /l4re-core-master/cxx/lib/tl/include/ |
| A D | list_alloc | 59 * Return a free memory block to the allocator.
62 * \param size Size of memory block.
65 * memory.
73 * Allocate a memory block.
75 * \param size Size of the memory block.
78 * \return Pointer to memory block
94 * \return Pointer to memory block
103 * Get the amount of available memory.
105 * \return Available memory in bytes
296 // address of free memory block
[all …]
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-11/include/std/ |
| A D | memory | 1 // <memory> -*- C++ -*-
39 /** @file include/memory
41 * @ingroup memory
50 * @defgroup memory Memory
53 * Components for memory allocation, deallocation, and management.
58 * @ingroup memory
96 * @ingroup memory
120 /// Inform a garbage collector that a region of memory need not be traced.
|
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/sigma0/doc/ |
| A D | sigma0.dox | 7 * Sigma0 is a special L4 server that serves as the origin for mapping memory.
9 * userland RAM and device memory. It functions as the pager (main memory
10 * provider) for Moe and as the provider for device memory for Io. Moe and Io
|
| /l4re-core-master/moe/server/src/ |
| A D | region.cc | 43 if (!h->memory()) in map()
57 auto ds_fpage = h->memory()->address(offs + h->offset(), f, adr, in map()
71 if (h->is_ro() || !h->memory()) in free()
74 h->memory()->clear(h->offset() + start, size); in free()
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-4.9/include/std/ |
| A D | memory | 1 // <memory> -*- C++ -*-
39 /** @file include/memory
49 * @defgroup memory Memory
52 * Components for memory allocation, deallocation, and management.
57 * @ingroup memory
|
| A D | iosfwd | 141 /// Class for @c char memory buffers.
144 /// Class for @c char input memory streams.
147 /// Class for @c char output memory streams.
150 /// Class for @c char mixed input and output memory streams.
181 /// Class for @c wchar_t memory buffers.
184 /// Class for @c wchar_t input memory streams.
187 /// Class for @c wchar_t output memory streams.
190 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/l4re/util/libs/ |
| A D | dataspace_svr.cc | 46 L4::Ipc::Snd_fpage &memory) in map() argument
52 memory = L4::Ipc::Snd_fpage(); in map()
99 memory = L4::Ipc::Snd_fpage(fpage, hot_spot, _map_flags, _cache_flags); in map()
|
| /l4re-core-master/l4sys/doc/ |
| A D | factory.dox | 10 The kernel factory enforces a memory quota. This quota defines the maximum
11 amount of kernel memory the factory service can use to construct the requested
15 The quota may be higher than the amount of available kernel memory; ultimately,
16 the amount of available kernel memory is the strict limit for the factory to
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-5/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-8/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-6/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-7/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-9/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-10/include/std/ |
| A D | iosfwd | 146 /// Class for @c char memory buffers.
149 /// Class for @c char input memory streams.
152 /// Class for @c char output memory streams.
155 /// Class for @c char mixed input and output memory streams.
186 /// Class for @c wchar_t memory buffers.
189 /// Class for @c wchar_t input memory streams.
192 /// Class for @c wchar_t output memory streams.
195 /// Class for @c wchar_t mixed input and output memory streams.
|
| /l4re-core-master/uclibc/lib/contrib/uclibc/ |
| A D | DEDICATION.mjn3 | 7 memory to our local non-profit hospice organization that did so much
10 In memory of Toni W. Hagan
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-5/include/tr1/ |
| A D | memory | 1 // <tr1/memory> -*- C++ -*-
26 * @file tr1/memory
39 #include <memory>
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-6/include/tr1/ |
| A D | memory | 1 // <tr1/memory> -*- C++ -*-
26 * @file tr1/memory
39 #include <memory>
|
| /l4re-core-master/libstdc++-v3/contrib/libstdc++-v3-7/include/tr1/ |
| A D | memory | 1 // <tr1/memory> -*- C++ -*-
26 * @file tr1/memory
39 #include <memory>
|