Document schedulers and mutex_real_ceiling