Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/pn533/pn533.c pn533_finalize_setup() -> pn533_setup()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd 4096-ptr_max
PARAM_VALUE 0 dev->cmd->code 2,20,24,50,64,66,74,80,82,86,96,134,140,142,148
PARAM_VALUE 0 dev->cmd->complete_cb 4096-ptr_max
PARAM_VALUE 0 dev->cmd->complete_cb_context 0,4096-ptr_max
PARAM_VALUE 0 dev->cmd->req 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->list.prev->prev 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 0-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_pending 1-255
PARAM_VALUE 0 dev->cmd_queue.next 4096-ptr_max
PARAM_VALUE 0 dev->cmd_queue.prev 4096-ptr_max
PARAM_VALUE 0 dev->cmd_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->cmd_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->device_type 1-5
PARAM_VALUE 0 dev->fragment_skb.next 4096-ptr_max
PARAM_VALUE 0 dev->fragment_skb.prev 4096-ptr_max
PARAM_VALUE 0 dev->fragment_skb.qlen 0
PARAM_VALUE 0 dev->listen_timer.entry.pprev 0
PARAM_VALUE 0 dev->listen_timer.flags 0-4194302
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 2942008209661235200,6191618880715620352
PARAM_VALUE 0 dev->phy 4096-ptr_max
PARAM_VALUE 0 dev->phy->aborted 0
PARAM_VALUE 0 dev->phy->cmd_timeout.flags 0-4294967295
PARAM_VALUE 0 dev->phy->i2c_dev->adapter->bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 dev->phy->i2c_dev->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 dev->phy->i2c_dev->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->phy->in_urb->actual_length 0-s32max
PARAM_VALUE 0 dev->phy->in_urb->complete 4144249948815884288,7928763328731889664
PARAM_VALUE 0 dev->phy->in_urb->dev->urbnum.counter s32min-s32max
PARAM_VALUE 0 dev->phy->in_urb->interval s32min-32768
PARAM_VALUE 0 dev->phy->in_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->phy->in_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->phy->in_urb->status (-4095)-0
PARAM_VALUE 0 dev->phy->in_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 dev->phy->in_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 dev->phy->in_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 dev->phy->in_urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->phy->in_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 dev->phy->out_urb->actual_length 0-s32max
PARAM_VALUE 0 dev->phy->out_urb->dev->urbnum.counter s32min-s32max
PARAM_VALUE 0 dev->phy->out_urb->interval s32min-32768
PARAM_VALUE 0 dev->phy->out_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->phy->out_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->phy->out_urb->status (-4095)-0
PARAM_VALUE 0 dev->phy->out_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 dev->phy->out_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 dev->phy->out_urb->transfer_buffer_length 0-4294967295
PARAM_VALUE 0 dev->phy->out_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 dev->phy->out_urb->unlinked s32min-s32max
PARAM_VALUE 0 dev->phy->out_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 dev->phy->send_wakeup 0
PARAM_VALUE 0 dev->phy->serdev->write_comp.done 0-4294967293,4294967295
PARAM_VALUE 0 dev->phy->serdev->write_comp.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 dev->phy->serdev->write_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 dev->phy->serdev->write_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->phy->serdev->write_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->phy_ops 5598136934295261184,7893140566260543488,8509627742430597120
PARAM_VALUE 0 dev->protocol_type 0-1
PARAM_VALUE 0 dev->resp_q.next 4096-ptr_max
PARAM_VALUE 0 dev->resp_q.prev 4096-ptr_max
PARAM_VALUE 0 dev->resp_q.qlen 0
PARAM_VALUE 0 dev->wq 4096-ptr_max
PARAM_VALUE 0 *dev->phy->in_urb->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->phy->in_urb->setup_packet 0-255
PARAM_VALUE 0 *dev->phy->in_urb->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->phy->out_urb->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->phy->out_urb->setup_packet 0-255
PARAM_VALUE 0 *dev->phy->out_urb->transfer_buffer (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 dev 1456
BUF_SIZE 0 dev->dev (-1),1616
BUF_SIZE 0 dev->phy (-1),24,56
BUF_SIZE 0 dev->phy_ops (-1),40
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING