#include #include #include #include "thread_internal.h" int pthread_attr_getstacksize(pthread_attr_t *attr, size_t *stacksize) { __THREAD_INIT(); *stacksize=attr->__stacksize; return 0; }