Symbol: UFFD_API_RANGE_IOCTLS
mm/userfaultfd.c
3722
UFFD_API_RANGE_IOCTLS;
mm/userfaultfd.c
4416
UFFD_API_IOCTLS|UFFD_API_RANGE_IOCTLS);