userfaultfd(2) on Linux
The text 48937af6c30b, as Debian 13 (Trixie) shipped it.
create a file descriptor for handling page faults in user space
The text 48937af6c30b, as Debian 13 (Trixie) shipped it.
create a file descriptor for handling page faults in user space