Searched refs:dest_data (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c344 @param dest_data Pointer to the arguments to be pushed to the stack.
345 @param dest_data When the function returns contains each of the arguments to be pushed.
348 static uintptr_t stack_copy_args(uintptr_t stack_top, int data_len, char *data[], uintptr_t *dest_data) { argument
352 dest_data[i] = new_stack_top;
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c344 @param dest_data Pointer to the arguments to be pushed to the stack.
345 @param dest_data When the function returns contains each of the arguments to be pushed.
348 static uintptr_t stack_copy_args(uintptr_t stack_top, int data_len, char *data[], uintptr_t *dest_data) { argument
352 dest_data[i] = new_stack_top;

Completed in 34 milliseconds