1 2 3 4 5 6 7
#include "pthread_impl.h" int pthread_mutexattr_getrobust(const pthread_mutexattr_t *restrict a, int *restrict robust) { *robust = *a / 4U % 2; return 0; }