Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/pn533/pn533.c __pn533_send_async() -> pn533_send_cmd_frame()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd_lock.wait_lock.owner (-1)
PARAM_VALUE 0 dev->cmd_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->cmd_pending 0
PARAM_VALUE 0 dev->nfc_dev->ops->activate_target 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224
PARAM_VALUE 0 dev->nfc_dev->ops->deactivate_target 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800
PARAM_VALUE 0 dev->nfc_dev->ops->im_transceive 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888
PARAM_VALUE 0 dev->nfc_dev->ops->start_poll 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416
PARAM_VALUE 0 dev->nfc_dev->ops->stop_poll 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->rx_header_len 7,10,12
PARAM_VALUE 0 dev->ops->tx_frame_finish 4096-ptr_max
PARAM_VALUE 0 dev->ops->tx_frame_init 4096-ptr_max
PARAM_VALUE 0 dev->ops->tx_header_len 7,17
PARAM_VALUE 0 dev->ops->tx_tail_len 0,2
PARAM_VALUE 0 dev->ops->tx_update_payload_len 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->code 2,20,24,50,64,66,74,80,82,86,96,134,140,142,148
PARAM_VALUE 1 cmd->complete_cb 4096-ptr_max
PARAM_VALUE 1 cmd->complete_cb_context 0,4096-ptr_max
PARAM_VALUE 1 cmd->req 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->dev (-1),1616
BUF_SIZE 0 dev->gb (-1),48
BUF_SIZE 0 dev->phy (-1),24,56
BUF_SIZE 0 dev->phy_ops (-1),40
BUF_SIZE 1 cmd 56
BUF_SIZE 1 cmd->complete_cb_context (-1),1,16,104
BUF_SIZE 1 cmd->req (-1)-s32max
CAPPED_DATA 0 &dev->cmd_lock 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
USER_PTR 1 cmd->req->data
LOCK2 0 &dev->cmd_lock
HALF_LOCKED2 &nfc_dev->dev.mutex
TYPE_LOCK (struct pn533)->cmd_lock

drivers/nfc/pn533/pn533.c pn533_send_cmd_direct_async() -> pn533_send_cmd_frame()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->tx_frame_finish 4096-ptr_max
PARAM_VALUE 0 dev->ops->tx_frame_init 4096-ptr_max
PARAM_VALUE 0 dev->ops->tx_header_len 7,17
PARAM_VALUE 0 dev->ops->tx_tail_len 0,2
PARAM_VALUE 0 dev->ops->tx_update_payload_len 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->code 64,66,134,142,148
PARAM_VALUE 1 cmd->complete_cb 643201539665240064,1017008887176396800,7019734727157112832
PARAM_VALUE 1 cmd->req 4096-ptr_max
PARAM_VALUE 1 cmd->req->data_len 0
BUF_SIZE 1 cmd 56
BUF_SIZE 1 cmd->complete_cb_context (-1),1-s32max
BUF_SIZE 1 cmd->req (-1)-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd r _kzalloc_noprof
USER_PTR 1 cmd->req->data
HALF_LOCKED2 &pool->lock

drivers/nfc/pn533/pn533.c pn533_wq_cmd() -> pn533_send_cmd_frame()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 cmd 4096-ptr_max
CAPPED_DATA 0 &dev->cmd_lock 1
CAPPED_DATA 0 &dev->cmd_queue 1
PARAM_COMPARE 0 &dev->cmd_queue != $0->cmd_queue.next
HALF_LOCKED2 &pool->lock