diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 19:34:41 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-30 19:34:41 +0200 |
| commit | 664ef9a3e1016e80fc1fcbbef6e9f66a2ededfe6 (patch) | |
| tree | 3f5829d9ad2ada25336f3bf98b85a65ec517c22e /sys/linux/uffd.txt | |
| parent | 9054fae0162950c1fd961819f64b1ac90e5930b3 (diff) | |
pkg/compiler: check for unused declarations
Error on unused structs/unions/resources/flags.
Finds tons of bugs.
Diffstat (limited to 'sys/linux/uffd.txt')
| -rw-r--r-- | sys/linux/uffd.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/linux/uffd.txt b/sys/linux/uffd.txt index 086e05962..a7fe880b9 100644 --- a/sys/linux/uffd.txt +++ b/sys/linux/uffd.txt @@ -13,8 +13,8 @@ ioctl$UFFDIO_API(fd fd_uffd, cmd const[UFFDIO_API], arg ptr[in, uffdio_api]) ioctl$UFFDIO_REGISTER(fd fd_uffd, cmd const[UFFDIO_REGISTER], arg ptr[in, uffdio_register]) ioctl$UFFDIO_UNREGISTER(fd fd_uffd, cmd const[UFFDIO_UNREGISTER], arg ptr[in, uffdio_range]) ioctl$UFFDIO_WAKE(fd fd_uffd, cmd const[UFFDIO_WAKE], arg ptr[in, uffdio_range]) -ioctl$UFFDIO_COPY(fd fd_uffd, cmd const[UFFDIO_COPY], arg ptr[in, uffdio_range]) -ioctl$UFFDIO_ZEROPAGE(fd fd_uffd, cmd const[UFFDIO_ZEROPAGE], arg ptr[in, uffdio_range]) +ioctl$UFFDIO_COPY(fd fd_uffd, cmd const[UFFDIO_COPY], arg ptr[in, uffdio_copy]) +ioctl$UFFDIO_ZEROPAGE(fd fd_uffd, cmd const[UFFDIO_ZEROPAGE], arg ptr[in, uffdio_zeropage]) userfaultfd_flags = O_NONBLOCK, O_CLOEXEC uffdio_register_mode = UFFDIO_REGISTER_MODE_MISSING, UFFDIO_REGISTER_MODE_WP |