From 76ad128ce0cb38f6fb253e8afcc22a3205a506ca Mon Sep 17 00:00:00 2001 From: fellair Date: Thu, 3 Jul 2025 18:53:40 +0300 Subject: sys/linux: update userfaultfd descriptions Add 2 regular missing ioctl syscalls: - UFFDIO_MOVE - UFFDIO_POISON Add USERFAULTFD_IOC_NEW ioctl that allows to procure userfaultfds by way of accessing /dev/userfaultfd. No other descriptions are touched, neither are any config options. Tested on local x86_64 syzkaller instance with enabled_syscalls[] option turned on. --- sys/linux/uffd.txt | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'sys/linux/uffd.txt') diff --git a/sys/linux/uffd.txt b/sys/linux/uffd.txt index 811cf2e78..4bed72512 100644 --- a/sys/linux/uffd.txt +++ b/sys/linux/uffd.txt @@ -6,8 +6,10 @@ include include resource fd_uffd[fd] +resource fd_uffd_dev[fd] userfaultfd(flags flags[userfaultfd_flags]) fd_uffd +openat$userfaultfd(fd const[AT_FDCWD], file ptr[in, string["/dev/userfaultfd"]], flags flags[userfaultfd_flags], mode const[0]) fd_uffd_dev 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]) @@ -15,8 +17,12 @@ ioctl$UFFDIO_UNREGISTER(fd fd_uffd, cmd const[UFFDIO_UNREGISTER], arg ptr[in, uf 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_copy]) ioctl$UFFDIO_ZEROPAGE(fd fd_uffd, cmd const[UFFDIO_ZEROPAGE], arg ptr[in, uffdio_zeropage]) +ioctl$UFFDIO_MOVE(fd fd_uffd, cmd const[UFFDIO_MOVE], arg ptr[in, uffdio_move]) ioctl$UFFDIO_WRITEPROTECT(fd fd_uffd, cmd const[UFFDIO_WRITEPROTECT], arg ptr[in, uffdio_writeprotect]) ioctl$UFFDIO_CONTINUE(fd fd_uffd, cmd const[UFFDIO_CONTINUE], arg ptr[in, uffdio_continue]) +ioctl$UFFDIO_POISON(fd fd_uffd, cmd const[UFFDIO_POISON], arg ptr[in, uffdio_poison]) + +ioctl$USERFAULTFD_IOC_NEW(fd fd_uffd_dev, cmd const[USERFAULTFD_IOC_NEW]) fd_uffd userfaultfd_flags = O_NONBLOCK, O_CLOEXEC, UFFD_USER_MODE_ONLY uffdio_register_mode = UFFDIO_REGISTER_MODE_MISSING, UFFDIO_REGISTER_MODE_WP, UFFDIO_REGISTER_MODE_MINOR @@ -55,6 +61,16 @@ uffdio_zeropage { zeropg const[0, int64] } +uffdio_move { + dst vma64 + src vma64 + len len[dst, int64] + mode flags[uffdio_move_mode, int64] + move int64 (out) +} + +uffdio_move_mode = UFFDIO_MOVE_MODE_DONTWAKE, UFFDIO_MOVE_MODE_ALLOW_SRC_HOLES + uffdio_writeprotect { range uffdio_range mode flags[uffdio_writeprotect_mode, int64] @@ -69,3 +85,11 @@ uffdio_continue { } uffdio_continue_mode = UFFDIO_CONTINUE_MODE_DONTWAKE + +uffdio_poison { + range uffdio_range + mode flags[uffdio_poison_mode, int64] + updated int64 (out) +} + +uffdio_poison_mode = UFFDIO_POISON_MODE_DONTWAKE -- cgit mrf-deployment