pthread__ras_simple_lock_init
pthread__ras_simple_lock_init,
void pthread__ras_simple_lock_init(__cpu_simple_lock_t *);