#include #include #include #include "thread_internal.h" int pthread_attr_getscope(const pthread_attr_t *attr, int *scope) { __THREAD_INIT(); *scope=PTHREAD_SCOPE_SYSTEM; return 0; }