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, 0x7fddf93bdff0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f80) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0x7fddf93b1ff1) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0x7fddf93bdfef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0x7fddf93bdfef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80111500, 0x7fddf93bdfef) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80811501, 0x7fddf93b7f7f) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0x7fddf93b1ff0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0xc0101502, 0x7fddf93b1ff0) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
