Searched refs:wdcpu (Results 1 – 1 of 1) sorted by relevance
76 static void watchdog_change(int wdcpu);114 watchdog_change(int wdcpu) in watchdog_change() argument117 if (wdcpu == -1 || wdcpu == 0xffffffff) { in watchdog_change()128 watchdog_cpu = wdcpu; in watchdog_change()