2 libco.genode_secondary_stack (2018-09-15)
3 author: Emery Hemingway
8 #include <base/thread.h>
14 void *genode_alloc_secondary_stack(unsigned long stack_size)
18 return Genode::Thread::myself()->alloc_secondary_stack("libco", stack_size);
22 Genode::error("libco: failed to allocate ", stack_size, " byte secondary stack");
28 void genode_free_secondary_stack(void *stack)
30 Genode::Thread::myself()->free_secondary_stack(stack);