The key difference between mutex_lock and enter_region, even though there code look similar.