watchdog_hardlockup_touch_cpu
void watchdog_hardlockup_touch_cpu(unsigned int cpu);
watchdog_hardlockup_touch_cpu(cpu);
watchdog_hardlockup_touch_cpu(next_cpu);