mount_options     514 src/filemanager/mountlist.c dev_from_mount_options (char const *mount_options)
mount_options     521 src/filemanager/mountlist.c     char const *devopt = strstr (mount_options, dev_pattern);
mount_options     536 src/filemanager/mountlist.c     (void) mount_options;