laxity            825 kernel/sched/deadline.c 	u64 laxity = dl_se->deadline - rq_clock(rq);
laxity            835 kernel/sched/deadline.c 	dl_se->runtime = (dl_se->dl_density * laxity) >> BW_SHIFT;