userfaultfd(2) on Linux
The text 3e8e31f72aae, as Debian 11 (Bullseye) shipped it.
create a file descriptor for handling page faults in user space
The text 3e8e31f72aae, as Debian 11 (Bullseye) shipped it.
create a file descriptor for handling page faults in user space