Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/platform/raspberrypi/vchiq-interface/vchiq_dev.c vchiq_ioc_await_completion() -> vchiq_put_completion()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | completion | 2009861126882877440 |
| PARAM_VALUE | 2 | index | 0-s32max |
| CAPPED_DATA | 2 | index | 1 |
| FUZZY_MAX | 2 | index | 0 |
| MEM_ZERO | 1 | completion | |
| LOCK2 | &instance->completion_mutex | ||
| TYPE_LOCK | (struct vchiq_instance)->completion_mutex |