sync_initsync() and mutex unlock order swapped