watchdog_buddy_check_hardlockup
void watchdog_buddy_check_hardlockup(int hrtimer_interrupts);
watchdog_buddy_check_hardlockup(new_interrupts);