1 #include "threads_impl.h"
2 
pthread_attr_init(pthread_attr_t * a)3 int pthread_attr_init(pthread_attr_t* a) {
4     *a = DEFAULT_PTHREAD_ATTR;
5     return 0;
6 }
7