userfaultfd(2) on Linux
The text c0f382924ce4, as Debian 12 (Bookworm) shipped it.
create a file descriptor for handling page faults in user space
The text c0f382924ce4, as Debian 12 (Bookworm) shipped it.
create a file descriptor for handling page faults in user space