-static int usb_pcwd_get_timeleft(struct usb_pcwd_private *usb_pcwd, int *time_left)
-{
- unsigned char msb, lsb;
-
- /* Read the time that's left before rebooting */
- /* Note: if the board is not yet armed then we will read 0xFFFF */
- usb_pcwd_send_command(usb_pcwd, CMD_READ_WATCHDOG_TIMEOUT, &msb, &lsb);
-
- *time_left = (msb << 8) + lsb;
-
- return 0;
-}
-