userfaultfd_release_new
userfaultfd_release_new(release_new_ctx);
void userfaultfd_release_new(struct userfaultfd_ctx *ctx);