hardirq_offset 184 kernel/sched/cputime.c void account_system_time(struct task_struct *p, int hardirq_offset, u64 cputime) hardirq_offset 188 kernel/sched/cputime.c if ((p->flags & PF_VCPU) && (irq_count() - hardirq_offset == 0)) { hardirq_offset 193 kernel/sched/cputime.c if (hardirq_count() - hardirq_offset)