UFFD_API_IOCTLS  1845 fs/userfaultfd.c 	uffdio_api.ioctls = UFFD_API_IOCTLS;
UFFD_API_IOCTLS  1918 fs/userfaultfd.c 		   UFFD_API_IOCTLS|UFFD_API_RANGE_IOCTLS);