Searched refs:new (Results 26 - 50 of 66) sorted by relevance

123

/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_create.c95 * 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 Dnftw.c27 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 Dexpand_heap.c8 /* 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 Dmalloc.c193 * 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 Dirq_server.c109 /* 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 Dirq_server.c109 /* 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 Dsporadic.c197 /* 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 Dlibc.h63 #define weak_alias(old, new) \
64 extern __typeof(old) new __attribute__((weak, alias(#old)))
/seL4-refos-master/projects/util_libs/libfdt/
H A Dfdt_rw.c156 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 Dlist.h38 * 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 Dlist.h40 * 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 Dlist.h40 * 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 Dglob.c41 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 Dclone.s5 # Save function pointer and argument pointer on new thread stack
/seL4-refos-master/kernel/tools/hardware/
H A Dmemory.py86 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 Dmemory.py44 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 Dposix_spawn.c25 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 Dclone.s5 # Save function pointer and argument pointer on new thread stack
/seL4-refos-master/libs/libmuslc/src/thread/mipsn32/
H A Dclone.s5 # Save function pointer and argument pointer on new thread stack
/seL4-refos-master/libs/libmuslc/src/thread/powerpc64/
H A Dclone.s13 # create initial stack frame for new thread
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dclone.s25 # create initial stack frame for new thread
/seL4-refos-master/libs/libmuslc/src/thread/s390x/
H A Dclone.s19 # create initial stack frame for new thread
/seL4-refos-master/kernel/src/arch/arm/object/
H A Dvcpu.c224 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 Dinterface.tex56 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 Dappendix.tex33 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"];

Completed in 118 milliseconds

123