UFFD_API_RANGE_IOCTLS 1506 fs/userfaultfd.c 			     UFFD_API_RANGE_IOCTLS,
UFFD_API_RANGE_IOCTLS 1918 fs/userfaultfd.c 		   UFFD_API_IOCTLS|UFFD_API_RANGE_IOCTLS);