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_get_user_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 8630801642078273536 |
| USER_DATA | 2 | index | 1-s32max |
| LOCK2 | &instance->completion_mutex | ||
| TYPE_LOCK | (struct vchiq_instance)->completion_mutex |