userfaultfd.h revision b1f9e876
1