Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_arm.c service_callback() -> service_single_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | instance | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->closing | 0 |
| PARAM_VALUE | 0 | instance->state | 4096-ptr_max |
| PARAM_VALUE | 0 | instance->state->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | service | 4096-ptr_max |
| PARAM_VALUE | 2 | service->base.userdata | 4096-ptr_max |
| PARAM_VALUE | 2 | service->state | 4096-ptr_max |
| PARAM_VALUE | 2 | service->state->msg_queue_spinlock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | instance | $0 |
| DATA_SOURCE | 1 | reason | $1 |
| DATA_SOURCE | 2 | service | r handle_to_service |
| DATA_SOURCE | 3 | cb_data | $4 |
| DATA_SOURCE | 4 | cb_userdata | $5 |