prev_irq_time     154 kernel/sched/core.c 	irq_delta = irq_time_read(cpu_of(rq)) - rq->prev_irq_time;
prev_irq_time     174 kernel/sched/core.c 	rq->prev_irq_time += irq_delta;
prev_irq_time     961 kernel/sched/sched.h 	u64			prev_irq_time;