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

12

/seL4-refos-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-refos-master/libs/libmuslc/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-refos-master/libs/libsel4muslcsys/include/muslcsys/
H A Dio.h31 off_t current; member in struct:cpio_file_data
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/
H A Dio.h31 off_t current; member in struct:cpio_file_data
/seL4-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/libs/libmuslc/src/fenv/sh/
H A Dfenv.S66 ! preserve the current precision bit, which we do not know a priori
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex235 seen on the current dungeon level; as you explore more of the level,
306 information describing your current status. If either status line
367 Your current and maximum hit points. Hit points indicate how much
384 Your current experience level and experience points. As you
395 Your current hunger status, ranging from %
648 location other than the current position.
744 Set options. A menu showing the current option values will be
1152 active on the current level; those on other levels are essentially
1203 (in inventory, not inside bags or boxes), will also show current shop
1470 allows you to unwield the current weapo
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex235 seen on the current dungeon level; as you explore more of the level,
306 information describing your current status. If either status line
367 Your current and maximum hit points. Hit points indicate how much
384 Your current experience level and experience points. As you
395 Your current hunger status, ranging from %
648 location other than the current position.
744 Set options. A menu showing the current option values will be
1152 active on the current level; those on other levels are essentially
1203 (in inventory, not inside bags or boxes), will also show current shop
1470 allows you to unwield the current weapo
[all...]
/seL4-refos-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.
/seL4-refos-master/projects/refos/design/
H A Dinterface.tex125 Start a new thread, sharing the current client process's address space. The child thread will have the same priority as the parent process.
253 Create an endpoint and set this endpoint on the root name server in order for clients to be able to find the root name server and connect to it. The anon capability is given to clients looking for the root name server, and then clients make their connection calls through the anon capability to establish a session. Re-registering replaces the current server anon capability.

Completed in 149 milliseconds

12