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)