Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_handle_notf() -> bcm_vk_dump_peer_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vk | 4096-ptr_max |
| PARAM_VALUE | 0 | vk->ctx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vk->host_alert_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vk->msgq_inited.counter | 0 |
| PARAM_VALUE | 0 | vk->wq_offload | 4096-ptr_max |
| DATA_SOURCE | 0 | vk | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vk->alert_cnts.ecc | 0-255[c] |
| HOST_DATA | 0 | vk->alert_cnts.uecc | 0-255[c] |
| HOST_DATA | 0 | vk->peer_alert.flags | 0-u16max |
| HOST_DATA | 0 | vk->peer_alert.notfs | 0-u16max |
| HALF_LOCKED2 | &pool->lock |