mount_options     379 maint/gnulib/lib/mountlist.c dev_from_mount_options (char const *mount_options)
mount_options     387 maint/gnulib/lib/mountlist.c   char const *devopt = strstr (mount_options, dev_pattern);
mount_options     404 maint/gnulib/lib/mountlist.c   (void) mount_options;