/seL4-test-master/tools/riscv-pk/pk/ |
H A D | pk.c | 11 elf_info current; variable 19 current.cycle0 = 1; 67 size_t stack_top = current.stack_top - current.phdr_size; 68 memcpy((void*)stack_top, (void*)current.phdr, current.phdr_size); 69 current.phdr = stack_top; 98 {AT_ENTRY, current.entry}, 99 {AT_PHNUM, current.phnum}, 100 {AT_PHENT, current [all...] |
H A D | mmap.c | 133 uintptr_t start = current.brk, end = current.mmap_max - npage*RISCV_PGSIZE; 163 return vaddr + len <= current.mmap_max; 285 if (addr < current.brk_max) 286 current.brk_max = addr; 296 if (addr < current.brk_min) 297 newbrk = current.brk_min; 298 else if (addr > current.brk_max) 299 newbrk = current.brk_max; 301 if (current [all...] |
H A D | boot.h | 28 extern elf_info current;
|
H A D | syscall.c | 18 if (current.cycle0) { 19 size_t dt = rdtime() - current.time0; 20 size_t dc = rdcycle() - current.cycle0; 21 size_t di = rdinstret() - current.instret0;
|
/seL4-test-master/kernel/src/kernel/ |
H A D | sporadic.c | 52 word_t current = sc->scRefillHead; local 54 print_index(sc, current); 56 while (current != sc->scRefillTail) { 57 current = refill_next(sc, current); 58 print_index(sc, current); 67 word_t current = sc->scRefillHead; local 70 while (current != sc->scRefillTail) { 71 if (!(refill_index(sc, current)->rTime <= refill_index(sc, next)->rTime)) { 75 current 102 word_t current = sc->scRefillHead; local [all...] |
/seL4-test-master/projects/musllibc/src/regex/ |
H A D | tre-mem.c | 101 /* We need more memory than is available in the current block. 135 if (mem->current != NULL) 136 mem->current->next = l; 139 mem->current = l; 148 /* Allocate from current block. */
|
H A D | tre.h | 185 tre_list_t *current; member in struct:tre_mem_struct
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/ |
H A D | io.h | 31 off_t current; member in struct:cpio_file_data
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 82 sel4utils_res_t *current = prev->next; local 84 while (current != NULL) { 86 if (reservation->start > current->start) { 87 reservation->next = current; 91 prev = current; 92 current = current->next; 109 sel4utils_res_t *current = prev->next; local 111 while (current != NULL) { 113 if (current 239 sel4utils_res_t *current = data->reservation_head; local 259 uintptr_t current = start; local [all...] |
H A D | bootstrap.c | 222 * what virtual addresses are taken up by the current task 419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument 423 int error = vka_cspace_alloc(get_alloc_data(current)->vka, &slot); 430 vka_cspace_make_path(get_alloc_data(current)->vka, slot, &dest); 433 /* we don't know if the current vspace has caps to its mappings - 453 /* map a copy of it the current vspace */ 454 void *dest_addr = vspace_map_pages(current, &dest.capPtr, NULL, seL4_AllRights, 471 vspace_unmap_pages(current, dest_addr, 1, seL4_PageBits, VSPACE_PRESERVE); 476 vka_cspace_free(get_alloc_data(current)->vka, slot);
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 114 io_mapping_t *current; local 115 for (current = io_mapper->head; current; current = current->next) { 116 if (current->returned_addr == returned_addr) { 117 return current;
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 218 fd_data->current = 0; 239 ZF_LOGE("Openat only supports relative path to the current working directory\n"); 366 for (i = 0; i < iovcnt && cpio_fd->current < cpio_fd->size; i++) { 367 long max = cpio_fd->size - cpio_fd->current; 369 memcpy(iov[i].iov_base, cpio_fd->start + cpio_fd->current, len); 370 cpio_fd->current += len; 469 if (!safe_addition(cpio_fd->current, offset)) { 472 new_offset = cpio_fd->current + offset; 492 cpio_fd->current = new_offset;
|
/seL4-test-master/kernel/src/machine/ |
H A D | capdl.c | 113 word_t current = sc->scRefillHead; local 115 while (current != sc->scRefillTail) { 116 current = ((current == sc->scRefillMax - 1u) ? (0) : current + 1u); 117 sum += REFILL_INDEX(sc, current).rAmount;
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_image.c | 162 size_t current = 0; local 164 while (current < segment_size) { 209 current += copy_len;
|
/seL4-test-master/projects/musllibc/src/fenv/sh/ |
H A D | fenv.S | 66 ! preserve the current precision bit, which we do not know a priori
|
/seL4-test-master/tools/nanopb/tests/backwards_compatibility/ |
H A D | alltypes_legacy.c | 8 #error Regenerate this file with the current version of nanopb generator.
|
H A D | alltypes_legacy.h | 10 #error Regenerate this file with the current version of nanopb generator.
|
/seL4-test-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 361 testl $3, (4 * CS)(%esp) # extract CPL (current privilege level) 378 # Check the current ESP. If this is within the bounds of __idle_thread_start and
|
/seL4-test-master/projects/musllibc/ldso/ |
H A D | dynlink.c | 1895 struct dso *current; local 1898 for(current = head; current;) { 1899 info.dlpi_addr = (uintptr_t)current->base; 1900 info.dlpi_name = current->name; 1901 info.dlpi_phdr = current->phdr; 1902 info.dlpi_phnum = current->phnum; 1905 info.dlpi_tls_modid = current->tls_id; 1906 info.dlpi_tls_data = current->tls.image; 1913 current [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 96 * @param loader vspace of the current process, used to allocate 118 * @param loader vspace of the current process, used to allocate 136 * Initialise a vspace allocator for a new address space (not the current one). 138 * @param loader vspace of the current process, used to allocate 159 * @param loader vspace of the current process, used to allocate 180 * @param loader vspace of the current process, used to allocate 196 * Initialise a vspace allocator for the current address space (this is intended 220 * Initialise a vspace allocator for the current address space (this is intended 331 * Copy the code and data segment (the image effectively) from current vspace 334 * @param current th [all...] |
/seL4-test-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 61 /* The user context under SMP is always set to Error + 1 for the current 587 # rcx. The current CS and SS have been loaded from 589 # the current RFLAGS (after saving) have been masked
|
/seL4-test-master/kernel/manual/parts/ |
H A D | threads.tex | 121 and sporadic threads. For round-robin threads, the budget is charged each time the current node's 130 \item When a thread starts executing at current time $T$, record $T_{s}$ 132 amount of time consumed ($T - T_{s}$) and subtract that from the current replenishment being used. 167 have enough space to store the new replenishment, space is created by removing the current 174 Whenever a thread is executing it consumes the budget from its current scheduling context. The
|
H A D | bootup.tex | 82 the current platform's configuration.
|
H A D | cspace.tex | 114 kernel-generated reply capability of the current thread from the 520 \ipcbloc{Offset + seL4\_CapFault\_DepthMismatch\_BitsFound} & Bits that the current CNode being traversed resolved \\
|
H A D | objects.tex | 427 kernel will allocate the new objects at the current watermark level, and
|