Lines Matching defs:stack_top
21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context)
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 = (void *)((uintptr_t) stack_top - sizeof(stack_args));
65 (uintptr_t *) &stack_top);
74 assert(IS_ALIGNED((uintptr_t)stack_top, STACK_CALL_ALIGNMENT_BITS));
78 stack_top = (void *)((uintptr_t) stack_top - sizeof(uintptr_t));
80 return sel4utils_arch_init_context(entry_point, stack_top, context);