what should I do with incorrect sched_deadline doc