Symbol: psi_account_irqtime
kernel/sched/core.c
5564
psi_account_irqtime(rq, donor, NULL);
kernel/sched/core.c
6904
psi_account_irqtime(rq, prev, next);
kernel/sched/stats.h
114
void psi_account_irqtime(struct rq *rq, struct task_struct *curr, struct task_struct *prev);