ioctl(-1, WDIOC_GETSUPPORT, 0x3fae77efd8) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETSTATUS, 0x3fae778ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETBOOTSTATUS, 0x3fae778ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTEMP, 0x3fae778ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTIMEOUT, 0x3fae778ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETPRETIMEOUT, 0x3fae778ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, WDIOC_GETTIMELEFT, 0x3fae778ffc) = -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), 0x3fc42a48d0) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
