/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/ia32/ |
H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 23 context->esp = (seL4_Word) stack_top; 33 bool local_stack, void *stack_top, seL4_UserContext *context, 37 if (!IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS)) { 44 if (stack_top) { 54 stack_top = (void *)((uintptr_t) stack_top - down_padding); 57 if (local_stack && stack_top) { 58 seL4_Word *stack_ptr = (seL4_Word *) stack_top; 62 stack_top 32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument [all...] |
/seL4-camkes-master/projects/util_libs/libutils/src/arch/x86/ |
H A D | stack.c | 20 utils_run_on_stack(void *stack_top, void * (*func)(void *arg), void *arg) argument 22 if (stack_top == NULL) { 25 } else if (!IS_ALIGNED((uintptr_t) stack_top, 4)) { 53 : [new_stack] "r" (stack_top), 70 : [new_stack] "r" (stack_top),
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/arch/riscv/ |
H A D | arch.c | 18 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 21 context->sp = (seL4_Word) stack_top; 22 if ((uintptr_t) stack_top % (sizeof(seL4_Word) * 2) != 0) { 23 ZF_LOGE("Stack %p not aligned on double word boundary", stack_top); 30 bool local_stack, void *stack_top, seL4_UserContext *context, 40 return sel4utils_arch_init_context(entry_point, stack_top, context); 29 sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | stack.c | 23 void *stack_top = vspace_new_stack(vspace); local 24 if (stack_top == NULL) { 29 void *ret = utils_run_on_stack(stack_top, func, arg);
|
H A D | thread.c | 149 res->stack_top = vspace_new_sized_stack(alloc, res->stack_size); 151 if (res->stack_top == NULL) { 157 res->initial_stack_pointer = res->stack_top; 216 if (thread->stack_top != 0) { 217 vspace_free_sized_stack(alloc, thread->stack_top, thread->stack_size); 348 size_t stack_size = (uintptr_t) thread->stack_top - checkpoint->sp; 366 size_t stack_size = (uintptr_t) checkpoint->thread->stack_top - checkpoint->sp;
|
H A D | process.c | 233 uintptr_t initial_stack_pointer = (uintptr_t)process->thread.stack_top - sizeof(seL4_Word); 281 uintptr_t initial_stack_pointer = (uintptr_t) process->thread.stack_top - sizeof(seL4_Word);
|
/seL4-camkes-master/projects/util_libs/libutils/src/arch/arm/ |
H A D | stack.c | 18 utils_run_on_stack(void *stack_top, void * (*func)(void *arg), void *arg) argument 30 : [new_stack] "r" (stack_top), 46 : [new_stack] "r" (stack_top),
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/earm/ |
H A D | cpu_sched.c | 56 void *stack_top = (char *)stack_base + stack_size; local 62 stack_push(&stack_top, (unsigned long)f); 63 stack_push(&stack_top, (unsigned long)arg); 65 tcb->btcb_sp = (unsigned long)stack_top;
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86/ |
H A D | cpu_sched.c | 56 void *stack_top = (char *)stack_base + stack_size; local 62 stack_push(&stack_top, (unsigned long)f); 63 stack_push(&stack_top, (unsigned long)arg); 65 tcb->btcb_sp = (unsigned long)stack_top;
|
/seL4-camkes-master/projects/util_libs/libutils/src/arch/riscv/ |
H A D | stack.c | 17 utils_run_on_stack(void *stack_top, void * (*func)(void *arg), void *arg) argument 28 : [new_stack] "r" (stack_top),
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 31 vka_t *vka, void *buf, size_t len, uintptr_t *stack_top); 41 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context); 47 * stack_top must be aligned to STACK_CALL_ALIGNMENT 67 bool local_stack, void *stack_top, seL4_UserContext *context, 74 void *stack_top, seL4_UserContext *context) 76 return sel4utils_arch_init_context_with_args(entry_point, arg0, arg1, arg2, true, stack_top, context, NULL, NULL, NULL); 72 sel4utils_arch_init_local_context(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, void *stack_top, seL4_UserContext *context) argument
|
H A D | thread.h | 42 void *stack_top; member in struct:sel4utils_thread
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 24 context->sp = (seL4_Word) stack_top; 25 if (!IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS)) { 34 bool local_stack, void *stack_top, 43 return sel4utils_arch_init_context(entry_point, stack_top, context); 32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
H A D | arch.c | 22 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 25 context->sp = (seL4_Word) stack_top; 26 if (!IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS)) { 35 bool local_stack, void *stack_top, 44 return sel4utils_arch_init_context(entry_point, stack_top, context); 33 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/ |
H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 24 context->sp = (seL4_Word) stack_top; 25 if (!IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS)) { 34 bool local_stack, void *stack_top, 43 return sel4utils_arch_init_context(entry_point, stack_top, context); 32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument 23 context->rsp = (seL4_Word) stack_top; 33 bool local_stack, void *stack_top, seL4_UserContext *context, 37 if (!IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS)) { 45 uintptr_t stack_top_after_call = (uintptr_t) stack_top - sizeof(uintptr_t); 31 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | stack.h | 24 * @param stack_top top of previously allocated stack. 29 void *utils_run_on_stack(void *stack_top, void * (*func)(void *arg), void *arg);
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | pk.c | 67 size_t stack_top = current.stack_top - current.phdr_size; local 68 memcpy((void*)stack_top, (void*)current.phdr, current.phdr_size); 69 current.phdr = stack_top; 74 stack_top -= len; 75 memcpy((void*)stack_top, (void*)(uintptr_t)argv[i], len); 76 argv[i] = (void*)stack_top; 86 stack_top -= len; 87 memcpy((void*)stack_top, envp[i], len); 88 envp[i] = (void*)stack_top; [all...] |
H A D | boot.h | 22 size_t stack_top; member in struct:__anon798
|
H A D | mmap.c | 413 current.stack_top = stack_bottom + stack_size;
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 44 void vspace_free_sized_stack(vspace_t *vspace, void *stack_top, size_t n_pages) argument 47 uintptr_t stack_bottom = (uintptr_t) stack_top - (n_pages * PAGE_SIZE_4K);
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | c_traps.c | 118 "mov %[stack_top], %%esp\n" 123 : [stack_top] "r"(&(kernel_stack_alloc[CURRENT_CPU_INDEX()][BIT(CONFIG_KERNEL_STACK_BITS)])),
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 197 * @param stack_top the top of the stack as returned by vspace_new_stack. 201 void vspace_free_sized_stack(vspace_t *vspace, void *stack_top, size_t n_pages); 203 static inline void vspace_free_stack(vspace_t *vspace, void *stack_top) argument 205 vspace_free_sized_stack(vspace, stack_top, BYTES_TO_4K_PAGES(CONFIG_SEL4UTILS_STACK_SIZE));
|
/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 192 word_t stack_top = ((word_t) kernel_stack_alloc[SMP_TERNARY(getCurrentCPUIndex(), 0)]) + BIT(CONFIG_KERNEL_STACK_BITS); local 195 stack_top |= getCurrentCPUIndex(); 197 setKernelStack(stack_top);
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 140 "movq %[stack_top], %%rsp\n" 145 : [stack_top] "r"(&(kernel_stack_alloc[CURRENT_CPU_INDEX()][BIT(CONFIG_KERNEL_STACK_BITS)])),
|