watchdog_hardlockup_check
void watchdog_hardlockup_check(unsigned int cpu, struct pt_regs *regs);
watchdog_hardlockup_check(next_cpu, NULL);
watchdog_hardlockup_check(smp_processor_id(), regs);