Defined in 2 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
net/nfc/llcp_core.c nfc_llcp_data_received() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev->ops->dep_link_down | 4096-ptr_max |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | local->rx_pending->end | |
| NO_OVERFLOW_SIMPLE | 0 | local->rx_pending->len | |
| HALF_LOCKED2 | &hdev->msg_tx_mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/llcp_core.c nfc_llcp_general_bytes() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev->ops->dep_link_down | 4096-ptr_max |
| PARAM_VALUE | 0 | local->gb_len | 0-48 |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->dev.mutex |
net/nfc/llcp_core.c nfc_llcp_mac_is_down() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev->ops->dep_link_down | 4096-ptr_max |
| PARAM_VALUE | 0 | local->remote_lto | 100 |
| PARAM_VALUE | 0 | local->remote_miu | 128 |
| PARAM_VALUE | 0 | local->sockets.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sockets.lock.owner | (-1) |
| PARAM_VALUE | 0 | local->sockets.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | local->sockets.lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | local->tx_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | local->tx_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | local->tx_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->tx_queue.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | local->tx_queue.qlen | 0 |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->dev.mutex | ||
| TYPE_LOCK | (struct device)->mutex |
net/nfc/llcp_core.c nfc_llcp_mac_is_up() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->comm_mode | 0-1 |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev->ops->dep_link_down | 4096-ptr_max |
| PARAM_VALUE | 0 | local->link_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->link_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | local->rf_mode | 0-1 |
| CAPPED_DATA | 0 | &local->link_timer | 1 |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &hdev->msg_tx_mutex | ||
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/llcp_core.c nfc_llcp_set_remote_gb() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev->ops->dep_link_down | 4096-ptr_max |
| PARAM_VALUE | 0 | local->remote_gb_len | 3-48 |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| MEM_ZERO | 0 | local->remote_gb | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | local->remote_gb_len | 3-48[c] |
| USER_DATA | 0 | local->remote_lto | 0-2550[c] |
| USER_DATA | 0 | local->remote_miu | 128-2175[c] |
| USER_DATA | 0 | local->remote_opt | 0-255 |
| USER_DATA | 0 | local->remote_version | 0-255 |
| USER_DATA | 0 | local->remote_wks | 0-u16max |
| USER_DATA | 0 | *local->remote_gb | 0-255 |
| USER_PTR | 0 | local->remote_gb | |
| HALF_LOCKED2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &hdev->msg_tx_mutex | ||
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/llcp_core.c nfc_llcp_unregister_device() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->link_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | local->link_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | local->link_timer.function | 0 |
| PARAM_VALUE | 0 | local->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | local->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | local->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | local->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->raw_sockets.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->raw_sockets.lock.owner | (-1) |
| PARAM_VALUE | 0 | local->raw_sockets.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | local->rx_pending | 0 |
| PARAM_VALUE | 0 | local->rx_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sdreq_timeout_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sdreq_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | local->sdreq_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | local->sdreq_timer.function | 0 |
| PARAM_VALUE | 0 | local->sockets.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sockets.lock.owner | (-1) |
| PARAM_VALUE | 0 | local->sockets.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | local->sockets.lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | local->timeout_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->tx_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->tx_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | local->tx_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | local->tx_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->tx_queue.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | local->tx_queue.qlen | 0 |
| PARAM_VALUE | 0 | local->tx_work.lockdep_map->name | 0-255 |
| CAPPED_DATA | 0 | local->dev | 1 |
| DATA_SOURCE | 0 | local | r nfc_llcp_remove_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/nfc/llcp_commands.c nfc_llcp_send_symm() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->raw_sockets.lock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/llcp_sock.c llcp_sock_bind() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &o2nm_cluster_group.cs_subsys.su_mutex |
net/nfc/llcp_sock.c llcp_sock_connect() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->connecting_sockets.head.first | 4096-ptr_max |
| PARAM_VALUE | 0 | local->connecting_sockets.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->connecting_sockets.lock.owner | (-1) |
| PARAM_VALUE | 0 | local->connecting_sockets.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | local->sdp_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | local->sdp_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | local->sdp_lock.osq.tail.counter | 0-s32max |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk |
net/nfc/llcp_sock.c nfc_llcp_sock_free() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/nfc/netlink.c nfc_genl_llc_get_params() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct device)->mutex |
net/nfc/netlink.c nfc_genl_llc_sdreq() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct device)->mutex |
net/nfc/netlink.c nfc_genl_llc_set_params() -> nfc_llcp_local_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | local | 4096-ptr_max |
| PARAM_VALUE | 0 | local->dev | 4096-ptr_max |
| DATA_SOURCE | 0 | local | r nfc_llcp_find_local |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct device)->mutex |