Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/nfc/rawsock.c rawsock_connect() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/nfc/rawsock.c rawsock_destruct() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/nfc/llcp_core.c nfc_llcp_local_put() -> nfc_put_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 sk

net/nfc/llcp_core.c nfc_llcp_recv_disc() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev->ops->dep_link_down 4096-ptr_max
RX_PATH
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &pool->lock

net/nfc/llcp_core.c nfc_llcp_socket_release() -> nfc_put_device()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &local->sockets.lock
LOCK2 &sk->sk_lock.slock
HALF_LOCKED2 &dev->dev.mutex
TYPE_LOCK (struct llcp_sock_list)->lock
TYPE_LOCK (struct socket_lock_t)->slock

net/nfc/llcp_sock.c llcp_raw_sock_bind() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
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_bind() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
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_bind() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
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_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/nfc/llcp_sock.c llcp_sock_destruct() -> nfc_put_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/nfc/netlink.c nfc_genl_activate_target() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->devt 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->id 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->dev.parent->removable 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->sg->dma_flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->sg->dma_length 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->sg->length 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->sg->offset 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->cancel_listen 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->cmd_pending 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->device_type 0-5
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->gb_len 0-48
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->poll_dep 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->poll_mod_curr 0-254
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->protocol_type 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->tgt_available_prots 0,2,4,8,16,32,48,64
PARAM_VALUE 0 dev->dev.driver_data->phy->priv->tgt_mode 0-1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_deactivate_target() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_dep_link_down() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->ops 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_dep_link_up() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->active_target 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->cmd->code 2,20,24,50,64,66,74,80,82,86,96,134,140,142,148
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->cmd_q.qlen 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->cur_conn_id 0-255
PARAM_VALUE 0 dev->dev.driver_data->local_payload_max 254
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->ndev->dep_link_up 1
PARAM_VALUE 0 dev->dev.driver_data->phy->i2c_dev->adapter->bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->actual_length 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->complete 4144249948815884288,7928763328731889664
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->dev->urbnum.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->interval s32min-32768
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->status (-4095)-0
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->in_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->actual_length 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->dev->urbnum.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->interval s32min-32768
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->status (-4095)-0
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->transfer_buffer_length 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->out_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_comp.done 0-4294967293,4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_comp.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->phy->serdev->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_completion.done 0-4294967293,4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_result 0
PARAM_VALUE 0 dev->dev.driver_data->req_status 0
PARAM_VALUE 0 dev->dev.driver_data->target_active_prot 0-7
PARAM_VALUE 0 dev->dev.driver_data->tx_q.qlen 0-4294967295
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->dep_link_up 4096-ptr_max
PARAM_VALUE 0 dev->polling 0
PARAM_VALUE 0 dev->rf_mode 0
PARAM_VALUE 0 *dev->dev.driver_data->phy->in_urb->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->dev.driver_data->phy->in_urb->setup_packet 0-255
PARAM_VALUE 0 *dev->dev.driver_data->phy->in_urb->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->dev.driver_data->phy->out_urb->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->dev.driver_data->phy->out_urb->setup_packet 0-255
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_dev_down() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ops->dev_down 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_dev_up() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->cmd_q.qlen 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->cur_conn_id 0-255
PARAM_VALUE 0 dev->dev.driver_data->cur_dest_type 3
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->conn_info->data_exchange_cb 3869093464605970432
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->len 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->init_data.gate_count 6
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->init_data.gates->gate 0-1,5-6,65,240
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_completion.done 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.driver_data->req_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_result 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_status 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->tx_q.qlen 0-4294967295
PARAM_VALUE 0 dev->ops->dev_up 4096-ptr_max
PARAM_VALUE 0 dev->ops->discover_se 0,4096-ptr_max
PARAM_VALUE 0 dev->rfkill->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->dev.driver_data->hci_dev->conn_info->data_exchange_cb_context (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->dev.driver_data->hci_dev->gate2pipe 0-255
PARAM_VALUE 0 *dev->dev.driver_data->hci_dev->init_data.session_id 0-255
PARAM_VALUE 0 *dev->dev.driver_data->req_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->data->header 0-255[u]
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

net/nfc/netlink.c nfc_genl_disable_se() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->cmd_q.qlen 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->cur_conn_id 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.done 0-4294967293,4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.se_active 1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.se_active_timer.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->len 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->expected_pipes 1-2
PARAM_VALUE 0 dev->dev.driver_data->req_completion.done 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->req_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_result 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_status 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->tx_q.qlen 0-4294967295
PARAM_VALUE 0 dev->ops->disable_se 0,4096-ptr_max
PARAM_VALUE 0 dev->ops->enable_se 0,4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->data->header 0-255[u]
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

net/nfc/netlink.c nfc_genl_dump_targets_done() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/nfc/netlink.c nfc_genl_enable_se() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->cmd_q.qlen 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->cur_conn_id 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.done 0-4294967293,4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.req_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.se_active 1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->se_info.se_active_timer.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->len 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->hci_dev->expected_pipes 1-2
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->msg_tx_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->req_completion.done 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->req_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->req_result 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->req_status 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->tx_q.qlen 0-4294967295
PARAM_VALUE 0 dev->ops->disable_se 0,4096-ptr_max
PARAM_VALUE 0 dev->ops->enable_se 0,4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->dev.driver_data->hci_dev->conn_info->rx_skb->data->header 0-255[u]
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

net/nfc/netlink.c nfc_genl_fw_download() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->nci_spi->xfer_speed_hz 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->disc_data->icanon 0-1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->disc_data->push 0-1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->disc_data->raw 0-1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->disc_data->real_raw 0-1
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->disc_data->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->driver_data->drv_data->tty->termios_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->fw_dnld.fw->priv->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->driver_data->fw_dnld.timer.flags 0-4294967295
PARAM_VALUE 0 dev->dev.driver_data->driver_data->fw_dnld.timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->fw_info.fw->priv->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->dev.driver_data->driver_data->info_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.driver_data->driver_data->info_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->driver_data->info_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.driver_data->driver_data->info_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.driver_data->driver_data->mode 2
PARAM_VALUE 0 dev->ops->fw_download 0,4096-ptr_max
PARAM_VALUE 0 *dev->dev.driver_data->driver_data->drv_data->tty->termios->c_cc 0-255
PARAM_VALUE 0 *dev->dev.driver_data->driver_data->fw_info->data 0-255
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_get_device() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_get_device() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_llc_get_params() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_llc_sdreq() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_llc_set_params() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_se_io() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ops 0,4096-ptr_max
PARAM_VALUE 0 dev->ops->se_io 0,2519008766565285888,8933110999295467520
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_start_poll() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 &dev->genl_data.genl_data_mutex 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_stop_poll() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->polling 0
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_stop_poll() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->genl_data.genl_data_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->genl_data.poll_req_portid 0
PARAM_VALUE 0 dev->rf_mode 2
CAPPED_DATA 0 &dev->genl_data.genl_data_mutex 1
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

net/nfc/netlink.c nfc_genl_vendor_cmd() -> nfc_put_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r nfc_get_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dev->cur_cmd_info->snd_seq 0-u32max[u]
USER_PTR 0 dev->cur_cmd_info->genlhdr
USER_PTR 0 dev->cur_cmd_info->nlhdr
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