ioctl(-1, WDIOC_GETSUPPORT, 0xb7e5afd8) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETSTATUS, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETBOOTSTATUS, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTEMP, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTIMEOUT, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETPRETIMEOUT, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTIMELEFT, 0xb7e54ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_SETTIMEOUT, [123]) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_SETPRETIMEOUT, [123]) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_SETOPTIONS, [WDIOS_DISABLECARD]) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_SETOPTIONS, [WDIOS_ENABLECARD|WDIOS_TEMPPANIC]) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_SETOPTIONS, [0xfed8 /* WDIOS_??? */]) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_KEEPALIVE) = -1 EBADF (Bad file descriptor)
ioctl(-1, _IOC(_IOC_NONE, 0x57, 0xff, 0), 0xbfaffc58) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
