16 /* * GWDOGS -- fill in the character array with the names of all of * the watchdog timers present on the system. The names * will be padded out to WDOG_NAMESIZE. Thus, the argument * should be (count * WDOG_NAMESIZE) bytes long. */