pthread__ras_simple_unlock
pthread__ras_simple_unlock,
void pthread__ras_simple_unlock(__cpu_simple_lock_t *);