/seL4-refos-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-refos-master/libs/libmuslc/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-refos-master/libs/libsel4muslcsys/include/muslcsys/ |
H A D | io.h | 31 off_t current; member in struct:cpio_file_data
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/ |
H A D | io.h | 31 off_t current; member in struct:cpio_file_data
|
/seL4-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/libs/libmuslc/src/fenv/sh/ |
H A D | fenv.S | 66 ! preserve the current precision bit, which we do not know a priori
|
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 235 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 D | Guidebook.tex | 235 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 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.
|
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 125 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.
|