Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c
- drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c, line 351
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_core.c next_service_by_instance() -> __next_service_by_instance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state->remote->initialised | 0-1 |
| PARAM_VALUE | 1 | instance | 4096-ptr_max |
| PARAM_VALUE | 1 | instance->state->remote->initialised | 0-1 |
| PARAM_VALUE | 1 | instance->state->remote->trigger.armed | 0-1 |
| PARAM_VALUE | 1 | instance->state->remote->trigger.fired | 0-1 |
| PARAM_VALUE | 2 | pidx | 290929704475111424,2239840177294905344,7594728684169736192,9187582688827637760 |
| BUF_SIZE | 1 | instance | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | instance | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | instance | 1 |
| DATA_SOURCE | 0 | state | $0 |
| DATA_SOURCE | 1 | instance | $1 |
| DATA_SOURCE | 2 | pidx | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | instance | unit_array_size |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &state->mutex | |
| HALF_LOCKED2 | 1 | &instance->state->mutex |
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_instance_get_use_count() -> __next_service_by_instance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | instance | 4096-ptr_max |
| PARAM_VALUE | 2 | pidx | 3989972717430136832 |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | instance | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | instance | unit_array_size |
| LOCK2 | &f->lock | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_instance_get_use_count() -> __next_service_by_instance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->unused_service | (-2147483647)-s32max |
| PARAM_VALUE | 1 | instance | 4096-ptr_max |
| PARAM_VALUE | 1 | instance->state | 4096-ptr_max |
| PARAM_VALUE | 1 | instance->state->unused_service | (-2147483647)-s32max |
| PARAM_VALUE | 2 | pidx | 3989972717430136832 |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | instance | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | instance | unit_array_size |
| LOCK2 | &f->lock | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_instance_set_trace() -> __next_service_by_instance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | instance | 4096-ptr_max |
| PARAM_VALUE | 2 | pidx | 4425582283976437760 |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | instance | $0 |
| UNITS | 1 | instance | unit_array_size |
| LOCK2 | rcu_read |
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c vchiq_instance_set_trace() -> __next_service_by_instance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->unused_service | (-2147483647)-s32max |
| PARAM_VALUE | 1 | instance | 4096-ptr_max |
| PARAM_VALUE | 1 | instance->state | 4096-ptr_max |
| PARAM_VALUE | 1 | instance->state->unused_service | (-2147483647)-s32max |
| PARAM_VALUE | 2 | pidx | 4425582283976437760 |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | instance | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | instance | $0 |
| UNITS | 1 | instance | unit_array_size |
| LOCK2 | rcu_read |