mount_options     535 src/filemanager/mountlist.c dev_from_mount_options (char const *mount_options)
mount_options     542 src/filemanager/mountlist.c     char const *devopt = strstr (mount_options, dev_pattern);
mount_options     557 src/filemanager/mountlist.c     (void) mount_options;