Very cool to see more use of userfaultfd, really powerful API because you can fully control how and from where memory is loaded during a pagefault.