/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void pikawdt_reset(void)
/* Reload the watchdog timer. (ie, pat the watchdog)  */
static void pikawdt_reset(void)
{
	unsigned reset = in_be32(pikawdt_private.fpga + 0x14);
	reset |= (1 << 7) + (WDT_HW_TIMEOUT << 8);
	out_be32(pikawdt_private.fpga + 0x14, reset);
}