vernum            927 drivers/media/platform/coda/coda-bit.c static bool coda_firmware_supported(u32 vernum)
vernum            932 drivers/media/platform/coda/coda-bit.c 		if (vernum == coda_supported_firmwares[i])
vernum            458 kernel/rcu/rcu.h void rcutorture_record_progress(unsigned long vernum);
vernum            471 kernel/rcu/rcu.h static inline void rcutorture_record_progress(unsigned long vernum) { }