ioctl_userfaultfd(2) on Linux

The text c191a529ab7e, as Debian 13 (Trixie) shipped it.

create a file descriptor for handling page faults in user space

ioctl_userfaultfd(2) on Linux now