ccs_lock_release
return cci_check_error (ccs_lock_release ((ccs_lock_t) io_lock));
ccs_lock_release (lock);
cc_int32 ccs_lock_release (ccs_lock_t io_lock);