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