Editing: userfaultfd.h

BATAL