userfaultfd(2) on Linux
The text 6bfe474b4e6c, as Debian 10 (Buster) shipped it.
create a file descriptor for handling page faults in user space
The text 6bfe474b4e6c, as Debian 10 (Buster) shipped it.
create a file descriptor for handling page faults in user space