Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-frontends/dib3000mc.c dib3000mc_set_frontend() -> dib3000mc_tune()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demod | 4096-ptr_max |
| PARAM_VALUE | 0 | demod->demodulator_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | demod->dtv_property_cache.code_rate_HP | 0-8,10-u32max |
| PARAM_VALUE | 0 | demod->dtv_property_cache.guard_interval | 0-3,5-u32max |
| PARAM_VALUE | 0 | demod->dtv_property_cache.modulation | 0-5,7-u32max |
| PARAM_VALUE | 0 | demod->dtv_property_cache.transmission_mode | 0-1,3-u32max |
| DATA_SOURCE | 0 | demod | $0 |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state->fe_mutex |