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