Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/rawsock.c rawsock_data_exchange_complete() -> rawsock_report_error()

Type Parameter Key Value
PARAM_VALUE 1 err s32min-(-1),1-s32max
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 err $2 [m]
NOCHECK_CALL

net/nfc/rawsock.c rawsock_tx_work() -> rawsock_report_error()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->dev 4096-ptr_max
PARAM_VALUE 0 sk->dev->check_pres_timer.entry.pprev 0
PARAM_VALUE 0 sk->dev->check_pres_timer.flags 0-4194302
PARAM_VALUE 0 sk->dev->check_pres_timer.function 0
PARAM_VALUE 0 sk->dev->dev.driver_data->async_cb_type 1
PARAM_VALUE 0 sk->dev->dev.driver_data->chaining_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->chaining_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->dev->dev.driver_data->chaining_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->chaining_skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 sk->dev->dev.driver_data->chaining_skb->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->curr_nfc_dep_pni 0-255
PARAM_VALUE 0 sk->dev->dev.driver_data->fragment_skb.next->prev 2011684551238094848
PARAM_VALUE 0 sk->dev->dev.driver_data->fragment_skb.prev->next 2011684551238094848
PARAM_VALUE 0 sk->dev->dev.driver_data->fragment_skb.qlen 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.dep_map->name 0-255
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->msg_tx_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->actual_length 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->complete 4144249948815884288,7928763328731889664
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->interval s32min-32768
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->status (-115)
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->in_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->actual_length 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->interval s32min-32768
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->sg->dma_flags 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->sg->dma_length 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->sg->length 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->sg->offset 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->status (-4095)-0
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_buffer_length 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->transfer_flags 0-4294967295
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->unlinked s32min-s32max
PARAM_VALUE 0 sk->dev->dev.driver_data->phy->out_urb->use_count.counter s32min-s32max
PARAM_VALUE 0 sk->dev->ops->tm_send 4096-ptr_max
PARAM_VALUE 0 sk->sk_write_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *sk->dev->dev.driver_data->chaining_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sk->dev->dev.driver_data->phy->in_urb->setup_packet 0-255
PARAM_VALUE 0 *sk->dev->dev.driver_data->phy->in_urb->transfer_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sk->dev->dev.driver_data->phy->out_urb->hcpriv (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sk->dev->dev.driver_data->phy->out_urb->setup_packet 0-255
PARAM_VALUE 0 *sk->dev->dev.driver_data->saved_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 err s32min-(-1),1-s32max
CAPPED_DATA 0 &sk->sk_write_queue 1
DATA_SOURCE 1 err r nfc_data_exchange
BIT_INFO 0 sk->sk_shutdown 0x0,0xfd
NOCHECK_CALL
HALF_LOCKED2 &pool->lock