-static int pcipcwd_get_timeleft(int *time_left)
-{
- int msb;
- int lsb;
-
- /* Read the time that's left before rebooting */
- /* Note: if the board is not yet armed then we will read 0xFFFF */
- send_command(CMD_READ_WATCHDOG_TIMEOUT, &msb, &lsb);
-
- *time_left = (msb << 8) + lsb;
-
- if (debug >= VERBOSE)
- printk(KERN_DEBUG PFX "Time left before next reboot: %d\n",
- *time_left);
-
- return 0;
-}
-