cdae8e9d4e
general terms instead. This follows a discussion with alfred, in which it became clear that I had misunderstood sched_sync().