/seL4-test-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
|
/seL4-test-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
|
/seL4-test-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
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | stack.c | 23 void *stack_top = vspace_new_stack(vspace); local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 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-test-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 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-test-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 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-test-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 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-test-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 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-test-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 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-test-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 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-test-master/tools/riscv-pk/pk/ |
H A D | boot.h | 22 size_t stack_top; member in struct:__anon670
|
H A D | pk.c | 67 size_t stack_top = current.stack_top - current.phdr_size; local [all...] |
/seL4-test-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
|
/seL4-test-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
|
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 203 static inline void vspace_free_stack(vspace_t *vspace, void *stack_top) argument
|