dev_pattern       532 src/filemanager/mountlist.c     static char const dev_pattern[] = ",dev=";
dev_pattern       533 src/filemanager/mountlist.c     char const *devopt = strstr (mount_options, dev_pattern);
dev_pattern       537 src/filemanager/mountlist.c         char const *optval = devopt + sizeof (dev_pattern) - 1;