Searched refs:chunk (Results 1 - 7 of 7) sorted by relevance
| /seL4-test-master/projects/musllibc/src/malloc/ |
| H A D | malloc_usable_size.c | 5 struct chunk { struct
7 struct chunk *next, *prev;
12 #define MEM_TO_CHUNK(p) (struct chunk *)((char *)(p) - OVERHEAD)
|
| H A D | malloc.c | 21 struct chunk { struct
23 struct chunk *next, *prev;
28 struct chunk *head;
29 struct chunk *tail;
48 #define PREV_CHUNK(c) ((struct chunk *)((char *)(c) - CHUNK_PSIZE(c)))
49 #define NEXT_CHUNK(c) ((struct chunk *)((char *)(c) + CHUNK_SIZE(c)))
50 #define MEM_TO_CHUNK(p) (struct chunk *)((char *)(p) - OVERHEAD)
152 struct chunk *c;
172 static struct chunk *expand_heap(size_t n)
177 struct chunk *
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
| H A D | sel4bench.h | 201 * Enable a chunk of the event counters passed in.
203 * A "chunk" is a quantity of events not larger than the number of performance
211 * +--chunk 1-+--chunk 0-+
217 * +--chunk 1-+--chunk 0-+
223 * +--chunk 1-+--chunk 0-+
232 * @param chunk chunk numbe
238 sel4bench_enable_counters(seL4_Word n_events, event_id_t *events, seL4_Word chunk, seL4_Word n_counters) argument
[all...] |
| /seL4-test-master/kernel/src/object/ |
| H A D | untyped.c | 243 int chunk = CONFIG_RESET_CHUNK_BITS; local
257 if (deviceMemory || block_size < chunk) {
263 for (offset = ROUND_DOWN(offset - 1, chunk);
264 offset != - BIT(chunk); offset -= BIT(chunk)) {
265 clearMemory(GET_OFFSET_FREE_PTR(regionBase, offset), chunk); local
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | allocman.c | 359 struct allocman_freed_mspace_chunk chunk = alloc->freed_mspace_chunks[--alloc->num_freed_mspace_chunks]; local
360 allocman_mspace_free(alloc, chunk.ptr, chunk.size);
364 struct allocman_freed_utspace_chunk chunk = alloc->freed_utspace_chunks[--alloc->num_freed_utspace_chunks]; local
365 allocman_utspace_free(alloc, chunk.cookie, chunk.size_bits);
519 int allocman_configure_utspace_reserve(allocman_t *alloc, struct allocman_utspace_chunk chunk) { argument
527 /* ensure this chunk hasn't already been added. would be nice to handle both decreasing and
530 if (alloc->utspace_chunk[i].size_bits == chunk.size_bits && alloc->utspace_chunk[i].type == chunk
577 allocman_configure_mspace_reserve(allocman_t *alloc, struct allocman_mspace_chunk chunk) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 65 * Describes a reservation chunk for the memory system.
74 * Describes a reservation chunk for the untyped system.
315 * @param chunk Description of the memory reserve
319 int allocman_configure_mspace_reserve(allocman_t *alloc, struct allocman_mspace_chunk chunk);
325 * @param chunk Description of the untyped reserve
329 int allocman_configure_utspace_reserve(allocman_t *alloc, struct allocman_utspace_chunk chunk);
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | bootup.tex | 121 is a region of extraLen bytes containing additional bootinfo structures. Each chunk starts
123 describes what the chunk is and how long it is, where the length includes the header. The
125 defined chunk type is \texttt{SEL4\_BOOTINFO\_HEADER\_PADDING} and describes an empty
126 chunk that has no data, any other types are platform or architecture specific. The
138 \texttt{seL4\_Word} & \texttt{id} & Identifier indicating the contents of the chunk \\
139 \texttt{seL4\_Uint8} & \texttt{len} & Length in bytes of the chunk \\
|
Completed in 59 milliseconds