Defined in 1 files as a member:
Defined in 2 files as a function:
- drivers/media/platform/raspberrypi/rp1-cfe/cfe.c, line 331 (as a function)
- drivers/media/v4l2-core/v4l2-subdev.c, line 214 (as a function)
Referenced in 7 files:
-
drivers/md/bcache/btree.c
- line 1954
- line 1955
- line 1976
- line 1977
- line 1978
- line 1979
- line 1995
- line 2032
- line 2033
- line 2058
- line 2069
- line 2070
- line 2071
- line 2072
- line 2073
- line 2074
- line 2075
- line 2076
- line 2085
- line 2088
- line 2091
- line 2092
- line 2092
- line 2094
- line 2096
- line 2098
- line 2101
- line 2105
- line 2111
- line 2111
- line 2113
- line 2114
- line 2115
-
drivers/md/raid5.c
- line 166
- line 1538
- line 1539
- line 2213
- line 2334
- line 2336
- line 2338
- line 3973
- line 4295
- line 4300
- line 4309
- line 4330
- line 4358
- line 4373
- line 4398
- line 4406
- line 4412
- line 4413
- line 4415
- line 4421
- line 4426
- line 4427
- line 4439
- line 4489
- line 4504
- line 4526
- line 4549
- line 4885
- line 4885
- line 4978
- line 5021
- line 5124
- line 5159
- drivers/media/platform/raspberrypi/rp1-cfe/cfe.c
- drivers/media/v4l2-core/v4l2-subdev.c
- drivers/net/bonding/bond_main.c
- fs/ceph/mds_client.c
- fs/ceph/mds_client.h, line 666
Smatch caller information:
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_check_job_ready() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 2 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $0 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_isr() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $1 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_isr() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 8 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $1 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_isr() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 8 |
| DATA_SOURCE | 0 | sd | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_isr() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 16 |
| DATA_SOURCE | 0 | sd | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_link_node_pads() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 1 |
| PARAM_VALUE | 2 | which | 0-3 |
| DATA_SOURCE | 0 | sd | $0 |
| FUZZY_MAX | 2 | which | 3 |
| HARD_MAX | 2 | which | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &list_lock | ||
| HALF_LOCKED2 | &device->clients_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_notify() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 1 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | r to_cfe_device |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fim->lock | ||
| HALF_LOCKED2 | &priv->irqlock | ||
| HALF_LOCKED2 | &state->lock | ||
| HALF_LOCKED2 | &state->mutex |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_schedule_next_csi2_job() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 0-3 |
| DATA_SOURCE | 0 | sd | $0 |
| FUZZY_MAX | 2 | which | 3 |
| HARD_MAX | 2 | which | 3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_schedule_next_pisp_job() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 4-7 |
| DATA_SOURCE | 0 | sd | $0 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &sd->state_lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_sof_isr() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 0-7 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cfe->state_lock | ||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct cfe_device)->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_start_streaming() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | state | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | vq->lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_start_streaming() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | vq->lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c cfe_unregister_nodes() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 1 |
| PARAM_VALUE | 2 | which | 0-7 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | sd | $0 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sd | unit_byte |
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | global &list_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c test_all_nodes() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 2 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->source_sd->privacy_led->blink_brightness | |
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | sd->csi2.sd.active_state->lock | |
| HALF_LOCKED2 | 0 | &sd->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c test_all_nodes() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $2 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->source_sd->privacy_led->blink_brightness | |
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | sd->csi2.sd.active_state->lock | |
| HALF_LOCKED2 | 0 | &sd->state_lock |
drivers/media/platform/raspberrypi/rp1-cfe/cfe.c test_any_node() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4 |
| PARAM_VALUE | 2 | which | 0-7 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| FUZZY_MAX | 2 | which | 7 |
| HARD_MAX | 2 | which | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | &vq->mmap_lock |
drivers/media/v4l2-core/v4l2-subdev.c call_enum_frame_interval() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops->pad | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| PARAM_VALUE | 4 | stream | 0 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| HALF_LOCKED2 | 0 | sd->active_state->lock |
drivers/media/v4l2-core/v4l2-subdev.c call_enum_frame_size() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops->pad | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| PARAM_VALUE | 4 | stream | 0 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | state | (-1),208 |
| BUF_SIZE | 1 | state | (-1),208 |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->entity.num_pads | |
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | 0 | sd->active_state->lock |
drivers/media/v4l2-core/v4l2-subdev.c call_enum_mbus_code() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops->pad | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| PARAM_VALUE | 4 | stream | 0 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| STR_LEN | 0 | sd->name | (-1),51 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->entity.num_pads | |
| UNITS | 3 | pad | unit_array_size |
| HALF_LOCKED2 | &pcdev->mlock | ||
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | 0 | sd->active_state->lock |
drivers/media/v4l2-core/v4l2-subdev.c check_format() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| STR_LEN | 0 | sd | (-1),15-17,26-27,31-44 |
| STR_LEN | 0 | sd | (-1),15-17,26-27,31-44 |
| STR_LEN | 0 | sd->entity.name | (-1),7 |
| STR_LEN | 0 | sd->name | (-1),51 |
| STR_LEN | 1 | state->sd | (-1),15-17,26-27,31-44 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sd->entity.num_pads | |
| NO_OVERFLOW_SIMPLE | 3 | pad | |
| UNITS | 3 | pad | unit_array_size |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | sd->active_state->lock |
drivers/media/v4l2-core/v4l2-subdev.c check_frame_interval() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 1 | state->lock->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | state->lock->first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | state->lock->first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | state->lock->first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | state->lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | state->lock->wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | state->lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | state->lock->wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 1 | state->lock |
drivers/media/v4l2-core/v4l2-subdev.c check_selection() -> check_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sd | 4096-ptr_max |
| PARAM_VALUE | 0 | sd->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 0,4096-ptr_max |
| PARAM_VALUE | 2 | which | 0-1 |
| PARAM_VALUE | 3 | pad | 0-65534 |
| PARAM_VALUE | 4 | stream | 0 |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sd | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | sd->entity.num_pads | 1 |
| CAPPED_DATA | 3 | pad | 1 |
| DATA_SOURCE | 0 | sd | $0 |
| DATA_SOURCE | 1 | state | $1 |
| PARAM_COMPARE | 0 | sd->entity.num_pads | >= $3 |
| PARAM_COMPARE | 3 | pad | <= $0->entity.num_pads |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 3 | pad | unit_array_size |
| HALF_LOCKED2 | global &list_lock | ||
| HALF_LOCKED2 | 0 | sd->active_state->lock |