Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/nci/core.c nci_core_ntf_packet() -> nci_op_ntf_packet()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->ops 4096-ptr_max
PARAM_VALUE 0 ndev->ops->core_ops 0,4096-ptr_max
PARAM_VALUE 0 ndev->ops->prop_ops 0,4096-ptr_max
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 ndev->rx_q.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ndev->targets->ats_len 0-255
PARAM_VALUE 0 ndev->targets->hci_reader_gate 0-255
PARAM_VALUE 0 ndev->targets->idx 0-4294967295
PARAM_VALUE 0 ndev->targets->is_iso15693 0-255
PARAM_VALUE 0 ndev->targets->iso15693_dsfid 0-255
PARAM_VALUE 0 ndev->targets->logical_idx 0-255
PARAM_VALUE 0 ndev->targets->nfcid1_len 0-255
PARAM_VALUE 0 ndev->targets->nfcid2_len 0-255
PARAM_VALUE 0 ndev->targets->sel_res 0-255
PARAM_VALUE 0 ndev->targets->sens_res 0-u16max
PARAM_VALUE 0 ndev->targets->sensb_res_len 0-255
PARAM_VALUE 0 ndev->targets->sensf_res_len 0-255
PARAM_VALUE 0 ndev->targets->supported_protocols 0-4294967295
PARAM_VALUE 1 ntf_opcode 0-4095
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->data 4096-ptr_max
PARAM_VALUE 2 skb->next 0
PARAM_VALUE 2 skb->prev 0
PARAM_VALUE 2 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 2 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 3 ops 0,4096-ptr_max
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 ntf_opcode $1
DATA_SOURCE 2 skb $2
RX_PATH
USER_DATA 0 ndev->cur_params.id 0-255[u]
USER_DATA 0 ndev->hci_dev->conn_info->conn_id 0-255[u]
USER_DATA 0 ndev->hci_dev->nfcee_id 0-255[u]
USER_DATA 0 ndev->manufact_id 0-255[u]
USER_DATA 0 ndev->manufact_specific_info 0-u32max[u]
USER_DATA 0 ndev->max_ctrl_pkt_payload_len 0-255[u]
USER_DATA 0 ndev->max_logical_connections 0-255[u]
USER_DATA 0 ndev->max_routing_table_size 0-u16max[u]
USER_DATA 0 ndev->nci_ver 0-255[u]
USER_DATA 0 ndev->nfcc_features 0-u32max[u]
USER_DATA 1 ntf_opcode 0-4095[c]
HALF_LOCKED2 &pool->lock

net/nfc/nci/core.c nci_prop_ntf_packet() -> nci_op_ntf_packet()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->ops 4096-ptr_max
PARAM_VALUE 0 ndev->ops->core_ops 0,4096-ptr_max
PARAM_VALUE 0 ndev->ops->prop_ops 0,4096-ptr_max
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 ndev->rx_data_reassembly->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 ndev->rx_q.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ndev->targets->idx 0-4294967295
PARAM_VALUE 0 ndev->targets->supported_protocols 0-4294967295
PARAM_VALUE 1 ntf_opcode 0-4095
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->data 4096-ptr_max
PARAM_VALUE 2 skb->next 0
PARAM_VALUE 2 skb->prev 0
PARAM_VALUE 2 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 2 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 3 ops 0,4096-ptr_max
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 ntf_opcode $1
DATA_SOURCE 2 skb $2
RX_PATH
USER_DATA 0 ndev->cur_params.id 0-255[u]
USER_DATA 0 ndev->hci_dev->conn_info->conn_id 0-255[u]
USER_DATA 0 ndev->hci_dev->nfcee_id 0-255[u]
USER_DATA 0 ndev->manufact_id 0-255[u]
USER_DATA 0 ndev->manufact_specific_info 0-u32max[u]
USER_DATA 0 ndev->max_ctrl_pkt_payload_len 0-255[u]
USER_DATA 0 ndev->max_logical_connections 0-255[u]
USER_DATA 0 ndev->max_routing_table_size 0-u16max[u]
USER_DATA 0 ndev->nci_ver 0-255[u]
USER_DATA 0 ndev->nfcc_features 0-u32max[u]
USER_DATA 1 ntf_opcode 0-4095[c]
HALF_LOCKED2 &pool->lock