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