Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->detected_std | 16,46848,327695,3277024,12582912,16777215 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7,9 |
| PARAM_VALUE | 0 | state->nicam_on | 0-1 |
| PARAM_VALUE | 0 | state->radio | 0-1 |
| PARAM_VALUE | 0 | state->scan_in_progress | 0 |
| PARAM_VALUE | 1 | msec | (-1) |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->detected_std | 16777215 |
| HARD_MAX | 0 | state->detected_std | 16777215 |
| NOCHECK_CALL |
drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->detected_std | 16,46848,327695,3277024,12582912,16777215 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->nicam_on | 0 |
| PARAM_VALUE | 0 | state->radio | 0 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->scan_in_progress | 1 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 0 |
| PARAM_VALUE | 1 | msec | 200 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->detected_std | 16777215 |
| HARD_MAX | 0 | state->detected_std | 16777215 |
drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->detected_std | 16,46848,327695,3277024,12582912,16777215 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->nicam_on | 0 |
| PARAM_VALUE | 0 | state->radio | 0 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->scan_in_progress | 1 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 0 |
| PARAM_VALUE | 1 | msec | 100 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->detected_std | 16777215 |
| HARD_MAX | 0 | state->detected_std | 16777215 |
drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->detected_std | 16,46848,327695,3277024,12582912,16777215 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->nicam_on | 0 |
| PARAM_VALUE | 0 | state->radio | 0 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->scan_in_progress | 1 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 0 |
| PARAM_VALUE | 1 | msec | 100 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->detected_std | 16777215 |
| HARD_MAX | 0 | state->detected_std | 16777215 |
drivers/media/i2c/msp3400-kthreads.c msp3410d_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->has_i2s_conf | 0-1 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-9 |
| PARAM_VALUE | 0 | state->nicam_on | 0-1 |
| PARAM_VALUE | 0 | state->radio | 0-1 |
| PARAM_VALUE | 0 | state->rxsubchans | 0-2,5-6,12 |
| PARAM_VALUE | 0 | state->scan_in_progress | 0 |
| PARAM_VALUE | 1 | msec | (-1) |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->mode | 9 |
| FUZZY_MAX | 0 | state->rxsubchans | 2 |
| NOCHECK_CALL |
drivers/media/i2c/msp3400-kthreads.c msp3410d_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->has_i2s_conf | 0-1 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-8 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->nicam_on | 0 |
| PARAM_VALUE | 0 | state->radio | 0-1 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->rxsubchans | 0-2,5-6,12 |
| PARAM_VALUE | 0 | state->scan_in_progress | 1 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 0 |
| PARAM_VALUE | 1 | msec | 200 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->mode | 8 |
| FUZZY_MAX | 0 | state->rxsubchans | 1 |
drivers/media/i2c/msp3400-kthreads.c msp3410d_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->has_i2s_conf | 0-1 |
| PARAM_VALUE | 0 | state->has_nicam | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-8 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->nicam_on | 0 |
| PARAM_VALUE | 0 | state->radio | 0 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->rxsubchans | 0-2,5-6,12 |
| PARAM_VALUE | 0 | state->scan_in_progress | 1 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 0 |
| PARAM_VALUE | 1 | msec | 100 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |
| FUZZY_MAX | 0 | state->mode | 8 |
| FUZZY_MAX | 0 | state->rxsubchans | 1 |
| BIT_INFO | 0 | state->v4l2_std | 0x0,0xffffffffffff4fff |
drivers/media/i2c/msp3400-kthreads.c msp34xxg_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->force_btsc | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7,9 |
| PARAM_VALUE | 0 | state->radio | 0-1 |
| PARAM_VALUE | 0 | state->scan_in_progress | 0 |
| PARAM_VALUE | 1 | msec | (-1) |
| DATA_SOURCE | 0 | state | r to_state |
| NOCHECK_CALL |
drivers/media/i2c/msp3400-kthreads.c msp34xxg_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->force_btsc | 0 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7 |
| PARAM_VALUE | 0 | state->radio | 0 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->scan_in_progress | 0 |
| PARAM_VALUE | 0 | state->std | 1 |
| PARAM_VALUE | 1 | msec | 100 |
| DATA_SOURCE | 0 | state | r to_state |
drivers/media/i2c/msp3400-kthreads.c msp34xxg_thread() -> msp_sleep()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->force_btsc | 0-1 |
| PARAM_VALUE | 0 | state->mode | 0,2-3,5-7 |
| PARAM_VALUE | 0 | state->muted | 4096-ptr_max |
| PARAM_VALUE | 0 | state->radio | 0-1 |
| PARAM_VALUE | 0 | state->restart | 0 |
| PARAM_VALUE | 0 | state->scan_in_progress | 0 |
| PARAM_VALUE | 0 | state->std | 32 |
| PARAM_VALUE | 0 | state->volume | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | state->volume->handler->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | state->volume->handler->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->watch_stereo | 1 |
| PARAM_VALUE | 1 | msec | 5000 |
| CAPPED_DATA | 0 | state->volume->handler->lock | 1 |
| DATA_SOURCE | 0 | state | r to_state |