Symbol: MUTEX_GET_CEILING