| /* |
| * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: BSD-2-Clause |
| */ |
| |
| #include <errno.h> |
| #include <stddef.h> |
| #include <vspace/vspace.h> |
| #include <sel4utils/stack.h> |
| #include <sel4utils/util.h> |
| #include <utils/stack.h> |
| |
| int |
| sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) |
| { |
| void *stack_top = vspace_new_stack(vspace); |
| if (stack_top == NULL) { |
| ZF_LOGE("Failed to allocate new stack\n"); |
| return -1; |
| } |
| |
| void *ret = utils_run_on_stack(stack_top, func, arg); |
| if (retval != NULL) { |
| *retval = ret; |
| } |
| |
| return 0; |
| } |
