Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/nfc/st-nci/ndlc.c llt_ndlc_sm_work() -> ndlc_close()

Type Parameter Key Value
PARAM_VALUE 0 ndlc 4096-ptr_max
PARAM_VALUE 0 ndlc->ack_pending_q.next 4096-ptr_max
PARAM_VALUE 0 ndlc->ack_pending_q.prev 4096-ptr_max
PARAM_VALUE 0 ndlc->ack_pending_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ndlc->hard_fault s32min-1
PARAM_VALUE 0 ndlc->ndev->rx_q.next 4096-ptr_max
PARAM_VALUE 0 ndlc->ndev->rx_q.prev 4096-ptr_max
PARAM_VALUE 0 ndlc->ndev->rx_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ndlc->send_q.next 4096-ptr_max
PARAM_VALUE 0 ndlc->send_q.next->prev 4096-ptr_max
PARAM_VALUE 0 ndlc->send_q.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ndlc->t1_active 0
PARAM_VALUE 0 ndlc->t1_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ndlc->t1_timer.entry.pprev 0
PARAM_VALUE 0 ndlc->t1_timer.flags 0-4194302
PARAM_VALUE 0 ndlc->t1_timer.function 0
PARAM_VALUE 0 ndlc->t2_active 0
PARAM_VALUE 0 ndlc->t2_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ndlc->t2_timer.entry.pprev 0
PARAM_VALUE 0 ndlc->t2_timer.flags 0-4194302
PARAM_VALUE 0 ndlc->t2_timer.function 0
CAPPED_DATA 0 &ndlc->t1_timer 1
CAPPED_DATA 0 &ndlc->t2_timer 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->end
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->len
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->prev->end
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->prev->len
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->prev->tail
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->tail
NO_OVERFLOW_SIMPLE 0 ndlc->send_q.next->truesize
HALF_LOCKED2 &pool->lock

drivers/nfc/st-nci/ndlc.c ndlc_recv() -> ndlc_close()

Type Parameter Key Value
PARAM_VALUE 0 ndlc 4096-ptr_max
PARAM_VALUE 0 ndlc->hard_fault (-121)
PARAM_VALUE 0 ndlc->powered 0-1
DATA_SOURCE 0 ndlc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/st-nci/core.c st_nci_close() -> ndlc_close()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ndev->req_lock
HALF_LOCKED2 &nfc_dev->dev.mutex
TYPE_LOCK (struct nci_dev)->req_lock

drivers/nfc/st-nci/core.c st_nci_remove() -> ndlc_close()

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