_thr_wake_all
_thr_wake_all(unsigned int *waddrs[], int count)
void _thr_wake_all(unsigned int *waddrs[], int) __hidden;