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