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) { }