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

/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/ia32/
H A Darch.c21 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 Dstack.c20 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 Darch.c18 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 Dstack.c23 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 Dthread.c149 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 Dprocess.c233 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 Dstack.c18 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 Dcpu_sched.c56 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 Dcpu_sched.c56 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 Dstack.c17 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 Dhelpers.h31 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 Dthread.h42 void *stack_top; member in struct:sel4utils_thread
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/
H A Darch.c21 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 Darch.c22 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 Darch.c21 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 Darch.c21 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 Dstack.h24 * @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 Dpk.c67 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 Dboot.h22 size_t stack_top; member in struct:__anon798
H A Dmmap.c413 current.stack_top = stack_bottom + stack_size;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c44 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 Dc_traps.c118 "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 Dvspace.h197 * @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 Dboot.c192 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 Dc_traps.c140 "movq %[stack_top], %%rsp\n"
145 : [stack_top] "r"(&(kernel_stack_alloc[CURRENT_CPU_INDEX()][BIT(CONFIG_KERNEL_STACK_BITS)])),

Completed in 209 milliseconds