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