Symbol: irq_time_read
kernel/sched/core.c
796
irq_delta = irq_time_read(cpu_of(rq)) - rq->prev_irq_time;
kernel/sched/psi.c
1024
irq = irq_time_read(cpu);