ioctl(-1, UFFDIO_API, NULL) = -1 EBADF (Bad file descriptor)
ioctl(1, TIOCGWINSZ, 0xbfbf4e14) = -1 ENOTTY (Not a tty)
ioctl(-1, UFFDIO_API, {api=0, features=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_REGISTER, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_REGISTER, {range={start=0, len=0}, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_UNREGISTER, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_UNREGISTER, {start=0, len=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WAKE, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WAKE, {start=0, len=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_COPY, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_COPY, {dst=0, src=0, len=0, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_ZEROPAGE, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_ZEROPAGE, {range={start=0, len=0}, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WRITEPROTECT, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WRITEPROTECT, {range={start=0, len=0}, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_CONTINUE, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_CONTINUE, {range={start=0, len=0}, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_POISON, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_POISON, {range={start=0, len=0}, mode=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_API, {api=0xaa, features=0}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_REGISTER, {range={start=0xb7e90000, len=0x1000}, mode=UFFDIO_REGISTER_MODE_MISSING}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_COPY, {dst=0xb7e90000, src=0xb7e92000, len=0x1000, mode=UFFDIO_COPY_MODE_DONTWAKE}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_COPY, {dst=0xb7e90000, src=0xb7e92000, len=0x1000, mode=UFFDIO_COPY_MODE_DONTWAKE|UFFDIO_COPY_MODE_WP|0xdeadbeec}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_ZEROPAGE, {range={start=0xb7e90000, len=0x1000}, mode=UFFDIO_ZEROPAGE_MODE_DONTWAKE}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WAKE, {start=0xb7e90000, len=0x1000}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_UNREGISTER, {start=0xb7e90000, len=0x1000}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_WRITEPROTECT, {range={start=0xb7e90000, len=0x1000}, mode=UFFDIO_WRITEPROTECT_MODE_WP|UFFDIO_WRITEPROTECT_MODE_DONTWAKE}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_CONTINUE, {range={start=0xb7e90000, len=0x1000}, mode=UFFDIO_CONTINUE_MODE_DONTWAKE}) = -1 EBADF (Bad file descriptor)
ioctl(-1, UFFDIO_POISON, {range={start=0xb7e90000, len=0x1000}, mode=UFFDIO_POISON_MODE_DONTWAKE}) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
