Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/nfc/st95hf/core.c st95hf_in_configure_hw() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/st95hf/core.c st95hf_in_send_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/st95hf/core.c st95hf_switch_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &nfc_dev->dev.mutex

drivers/nfc/nfcsim.c nfcsim_abort_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &nfc_dev->genl_data.genl_data_mutex
TYPE_LOCK (struct device)->mutex

drivers/nfc/nfcsim.c nfcsim_in_configure_hw() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/nfcsim.c nfcsim_send() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/nfcsim.c nfcsim_switch_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &nfc_dev->dev.mutex

drivers/nfc/nfcsim.c nfcsim_tg_configure_hw() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c _trf7970a_tg_listen() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_abort_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &nfc_dev->genl_data.genl_data_mutex
TYPE_LOCK (struct device)->mutex

drivers/nfc/trf7970a.c trf7970a_in_configure_hw() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_send_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_switch_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &nfc_dev->dev.mutex

drivers/nfc/trf7970a.c trf7970a_tg_configure_hw() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_tg_get_rf_tech() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_tg_listen() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/trf7970a.c trf7970a_tg_listen_md() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_abort_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
HALF_LOCKED2 &nfc_dev->dev.mutex

drivers/nfc/port100.c port100_in_send_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_in_set_framing() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
LOCK2 &pool->lock

drivers/nfc/port100.c port100_in_set_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
LOCK2 &pool->lock

drivers/nfc/port100.c port100_listen() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_listen_mdaa() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_switch_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &nfc_dev->dev.mutex

drivers/nfc/port100.c port100_tg_send_cmd() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_tg_set_framing() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock

drivers/nfc/port100.c port100_tg_set_rf() -> nfc_digital_get_drvdata()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->did 0[u]
NO_OVERFLOW_SIMPLE 0 dev->chaining_skb->len
HALF_LOCKED2 &pool->lock