8 void *genode_alloc_secondary_stack(unsigned long stack_size);
9 void genode_free_secondary_stack(void *stack);
14 #if WINAPI_FAMILY_PARTITION(WINAPI_PARTITION_APP)
18 #elif defined _M_AMD64
23 #elif defined __GNUC__
26 #elif defined __amd64__
28 #elif defined _ARCH_PPC
30 #elif defined(__aarch64__)
38 #elif defined(__ARM_EABI__) || defined(__arm__)
44 #error "libco: unsupported processor, compiler or operating system"