cpu_touched 5755 kernel/workqueue.c unsigned long cpu_touched = cpu_touched 5758 kernel/workqueue.c if (time_after(cpu_touched, ts)) cpu_touched 5759 kernel/workqueue.c ts = cpu_touched;