Searched refs:current (Results 1 - 25 of 25) sorted by relevance

/seL4-test-master/tools/riscv-pk/pk/
H A Dpk.c11 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 Dmmap.c133 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 Dboot.h28 extern elf_info current;
H A Dsyscall.c18 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 Dsporadic.c52 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 Dtre-mem.c101 /* 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 Dtre.h185 tre_list_t *current; member in struct:tre_mem_struct
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/
H A Dio.h31 off_t current; member in struct:cpio_file_data
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c82 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 Dbootstrap.c222 * 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 Dio.c114 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 Dsys_io.c218 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 Dcapdl.c113 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 Dguest_image.c162 size_t current = 0; local
164 while (current < segment_size) {
209 current += copy_len;
/seL4-test-master/projects/musllibc/src/fenv/sh/
H A Dfenv.S66 ! preserve the current precision bit, which we do not know a priori
/seL4-test-master/tools/nanopb/tests/backwards_compatibility/
H A Dalltypes_legacy.c8 #error Regenerate this file with the current version of nanopb generator.
H A Dalltypes_legacy.h10 #error Regenerate this file with the current version of nanopb generator.
/seL4-test-master/kernel/src/arch/x86/32/
H A Dtraps.S361 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 Ddynlink.c1895 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 Dvspace.h96 * @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 Dtraps.S61 /* 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 Dthreads.tex121 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 Dbootup.tex82 the current platform's configuration.
H A Dcspace.tex114 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 Dobjects.tex427 kernel will allocate the new objects at the current watermark level, and

Completed in 103 milliseconds