Symbol: HDSP_wc_lock