/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_create.c | 95 * unmapped and possibly already reused by a new mapping 185 struct pthread *self, *new; local 258 new = __copy_tls(tsd - libc.tls_size); 259 new->map_base = map; 260 new->map_size = size; 261 new->stack = stack; 262 new->stack_size = stack - stack_limit; 263 new->start = entry; 264 new->start_arg = arg; 265 new [all...] |
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | nftw.c | 27 struct history new; local 52 new.chain = h; 53 new.dev = st.st_dev; 54 new.ino = st.st_ino; 55 new.level = h ? h->level+1 : 0; 56 new.base = l+1; 58 lev.level = new.level; 84 if ((r=do_nftw(path, fn, fd_limit-1, flags, &new))) {
|
/seL4-refos-master/libs/libmuslc/src/malloc/ |
H A D | expand_heap.c | 8 /* This function returns true if the interval [old,new] 14 static int traverses_stack_p(uintptr_t old, uintptr_t new) argument 21 if (new>a && old<b) return 1; 25 if (new>a && old<b) return 1;
|
H A D | malloc.c | 193 * new sentinel chunk below the allocated space. */ 202 /* Record new heap end and fill in footer. */ 208 /* Fill in header, which may be new or may be replacing a 394 void *new; local 410 if (newlen < PAGE_SIZE && (new = malloc(n))) { 411 memcpy(new, p, n-OVERHEAD); 413 return new; 452 /* As a last resort, allocate a new chunk and copy to it. */ 453 new = malloc(n-OVERHEAD); 454 if (!new) retur [all...] |
/seL4-refos-master/libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 109 /* Creates a new IRQ server node */ 343 irq_server_t *new = NULL; local 345 error = ps_calloc(malloc_ops, 1, sizeof(irq_server_t), (void **) &new); 347 if (config_set(CONFIG_KERNEL_MCS) && vka_alloc_reply(vka, &(new->reply)) != 0) { 355 error = sel4platsupport_new_irq_ops(&(new->irq_ops), vka, simple, irq_config, malloc_ops); 361 new->delivery_ep = delivery_ep; 362 new->label = label; 363 new->max_irqs = num_irqs; 364 new->priority = priority; 366 new [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 109 /* Creates a new IRQ server node */ 343 irq_server_t *new = NULL; local 345 error = ps_calloc(malloc_ops, 1, sizeof(irq_server_t), (void **) &new); 347 if (config_set(CONFIG_KERNEL_MCS) && vka_alloc_reply(vka, &(new->reply)) != 0) { 355 error = sel4platsupport_new_irq_ops(&(new->irq_ops), vka, simple, irq_config, malloc_ops); 361 new->delivery_ep = delivery_ep; 362 new->label = label; 363 new->max_irqs = num_irqs; 364 new->priority = priority; 366 new [all...] |
/seL4-refos-master/kernel/src/kernel/ |
H A D | sporadic.c | 197 /* if the heads budget exceeds the new budget just trim it */ 202 refill_t new = { .rAmount = (new_budget - refill_head(sc)->rAmount), local 205 refill_add_tail(sc, new); 211 static inline void schedule_used(sched_context_t *sc, refill_t new) argument 214 if (new.rAmount < MIN_BUDGET && !refill_single(sc)) { 216 refill_tail(sc)->rAmount += new.rAmount; 217 refill_tail(sc)->rTime = MAX(new.rTime, refill_tail(sc)->rTime); 218 } else if (new.rTime <= refill_tail(sc)->rTime) { 219 refill_tail(sc)->rAmount += new.rAmount; 221 refill_add_tail(sc, new); 304 refill_t new = (refill_t) { local [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | libc.h | 63 #define weak_alias(old, new) \ 64 extern __typeof(old) new __attribute__((weak, alias(#old)))
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_rw.c | 156 char *new; local 165 new = strtab + fdt_size_dt_strings(fdt); 170 memcpy(new, s, len); 171 return (new - strtab); 365 /* Try to place the new node after the parent's properties */ 407 static void fdt_packblocks_(const char *old, char *new, argument 416 memmove(new + mem_rsv_off, old + fdt_off_mem_rsvmap(old), mem_rsv_size); 417 fdt_set_off_mem_rsvmap(new, mem_rsv_off); 419 memmove(new + struct_off, old + fdt_off_dt_struct(old), struct_size); 420 fdt_set_off_dt_struct(new, struct_of [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | list.h | 38 * Insert a new entry between two known consecutive entries. 43 static inline void __list_add(struct list_head *new, argument 47 next->prev = new; 48 new->next = next; 49 new->prev = prev; 50 prev->next = new; 54 * list_add - add a new entry 55 * @new: new entry to be added 58 * Insert a new entr 61 list_add(struct list_head *new, struct list_head *head) argument 74 list_add_tail(struct list_head *new, struct list_head *head) argument 112 list_replace(struct list_head *old, struct list_head *new) argument 121 list_replace_init(struct list_head *old, struct list_head *new) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | list.h | 40 * Insert a new entry between two known consecutive entries. 45 static inline void __list_add(struct list_head *new, argument 49 next->prev = new; 50 new->next = next; 51 new->prev = prev; 52 prev->next = new; 56 * list_add - add a new entry 57 * @new: new entry to be added 60 * Insert a new entr 63 list_add(struct list_head *new, struct list_head *head) argument 76 list_add_tail(struct list_head *new, struct list_head *head) argument 114 list_replace(struct list_head *old, struct list_head *new) argument 123 list_replace_init(struct list_head *old, struct list_head *new) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | list.h | 40 * Insert a new entry between two known consecutive entries. 45 static inline void __list_add(struct list_head *new, argument 49 next->prev = new; 50 new->next = next; 51 new->prev = prev; 52 prev->next = new; 56 * list_add - add a new entry 57 * @new: new entry to be added 60 * Insert a new entr 63 list_add(struct list_head *new, struct list_head *head) argument 76 list_add_tail(struct list_head *new, struct list_head *head) argument 114 list_replace(struct list_head *old, struct list_head *new) argument 123 list_replace_init(struct list_head *old, struct list_head *new) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | glob.c | 41 struct match *new = malloc(sizeof(struct match) + len + 1); local 42 if (!new) return -1; 43 (*tail)->next = new; 44 new->next = NULL; 45 strcpy(new->name, name); 46 if (mark) strcat(new->name, "/"); 47 *tail = new;
|
/seL4-refos-master/libs/libmuslc/src/thread/mips/ |
H A D | clone.s | 5 # Save function pointer and argument pointer on new thread stack
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | memory.py | 86 new = Region(new_base, new_size, self.owner) 87 return new 95 new = Region(new_base, new_size, self.owner) 96 return new
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | memory.py | 44 return a new set that is the first set of regions minus the second set. ''' 76 new = ret[0].align_base(config.get_kernel_phys_align()) 77 resv = Region(ret[0].base, new.base - ret[0].base, None) 79 ret[0] = new
|
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | posix_spawn.c | 25 static int __sys_dup2(int old, int new) argument 28 return __syscall(SYS_dup2, old, new); 30 if (old==new) { 34 return __syscall(SYS_dup3, old, new, 0);
|
/seL4-refos-master/libs/libmuslc/src/thread/mips64/ |
H A D | clone.s | 5 # Save function pointer and argument pointer on new thread stack
|
/seL4-refos-master/libs/libmuslc/src/thread/mipsn32/ |
H A D | clone.s | 5 # Save function pointer and argument pointer on new thread stack
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc64/ |
H A D | clone.s | 13 # create initial stack frame for new thread
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | clone.s | 25 # create initial stack frame for new thread
|
/seL4-refos-master/libs/libmuslc/src/thread/s390x/ |
H A D | clone.s | 19 # create initial stack frame for new thread
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | vcpu.c | 224 void vcpu_switch(vcpu_t *new) argument 226 if (likely(ARCH_NODE_STATE(armHSCurVCPU) != new)) { 227 if (unlikely(new != NULL)) { 231 vcpu_restore(new); 232 ARCH_NODE_STATE(armHSCurVCPU) = new; 242 } else if (likely(!ARCH_NODE_STATE(armHSVCPUActive) && new != NULL)) { 244 vcpu_enable(new);
|
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 56 Authenticate a new client of a server against the \srv{procserv} and register for death 59 \item [procserv\_liveness\_C] The new client's liveness capability, which the client has given to the server through session connection 70 Create a new memory window segment for the calling client. Note that clients may only create memory windows for their own address space and alignment restrictions may apply here due to implementation and/or hardware restrictions. In the \refOS client environment, a valid memory window segment must be covering any virtual address ranges before any mapping can be performed (including dataspace and device frame mappings). 108 \item \pro{procserv}{session}{new\_proc(name, params, block, priority)}{(ErrorCode, status)} 109 Start a new process, blocking or non-blocking. 112 \item [params] The parameters to pass onto the new process 114 \item [priority] The priority of the new child process 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. 127 \item [entry] The entry point vaddr of the new thread 128 \item [stack] The stack vaddr of the new threa [all...] |
H A D | appendix.tex | 33 R box R [ label = "allocate new frame and back the content by zero\_fill"]; 62 B box B [ label = "create a new window indicated by win\_capB"]; 140 S box S [ label = "create a new memory object with mobject\_cap"]; 214 R box R [ label = "page table alloc if new"]; 235 R box R [ label = "frame alloc if new"];
|