ioctl(-1, 0x15ff, 0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x15ff, 0xbadc0deddeadc0de) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0xffff81e95ff0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf80) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0xffff81c96ff1) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0xffff81e95fef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0xffff81e95fef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0xffff81e95fef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0xffff81c9cf7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0xffff81c96ff0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0xffff81c96ff0) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
