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;