Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/pn533/uart.c pn532_cmd_timeout() -> pn532_uart_send_frame()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/pn533/pn533.c pn533_send_cmd_frame() -> (struct pn533_phy_ops)->send_frame()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd 4096-ptr_max
PARAM_VALUE 0 dev->nfc_dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
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->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 0 dev->phy_ops 4096-ptr_max
PARAM_VALUE 1 out->users.refs.counter (-1073741824)
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->cmd (-1),56
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 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 0 dev $0
CONTAINER 0 -0-1448+0 $(-1)
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 out->end
NO_OVERFLOW_SIMPLE 1 out->len
HALF_LOCKED2 0 &dev->cmd_lock