static void vino_set_default_framerate(struct vino_channel_settings *vcs) 
static inline void vino_set_default_framerate(struct vino_channel_settings *vcs) 
static void vino_set_default_framerate(struct vino_channel_settings *vcs){	vino_set_framerate(vcs, vino_data_norms[vcs->data_norm].fps_max);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c