Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_extract_one_cell() -> (struct atm_vcc)->push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb r dev_alloc_skb
CONTAINER 0 -1616+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/atm/solos-pci.c solos_bh() -> (struct atm_vcc)->push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 0 atmvcc->qos.rxtp.traffic_class 1-255
PARAM_VALUE 0 atmvcc->vci 0-u16max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 atmvcc->dev 1
CAPPED_DATA 0 atmvcc->vci 1
CAPPED_DATA 0 atmvcc->vpi 1
DATA_SOURCE 0 atmvcc r find_vcc
CONTAINER 0 -1616+0 $(-1)
NOSPEC 0 atmvcc->vci
NOCHECK_CALL
HOST_DATA 0 atmvcc->vci 0-u16max[c]
USER_DATA 0 atmvcc->vci 0-u16max[c]

net/atm/pppoatm.c pppoatm_push() -> (struct atm_vcc)->push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 0 atmvcc->dev->ops->close 5234409016607281152,7845458118853263360,8296208990040829952
PARAM_VALUE 0 atmvcc->user_back 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->bridge 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->chan_net 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->ns_tracker->dead 0-1
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->rcu.next 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->bridge->upl.rlock.dep_map->name 0-255
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.dep_map->name 0-255
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->task->blocked_on 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->chan_sem.magic 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->downl.rlock.dep_map->name 0-255
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->file.dead 1
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->ns_tracker->dead 0-1
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->ppp 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->rcu.next 0
PARAM_VALUE 0 atmvcc->user_back->chan.ppp->upl.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 0
CAPPED_DATA 0 atmvcc 1
DATA_SOURCE 0 atmvcc $0
CONTAINER 0 -1616+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk
HALF_LOCKED2 0 &atmvcc->dev->dev_data->tx_queue_lock

net/atm/common.c vcc_destroy_socket() -> (struct atm_vcc)->push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 0 atmvcc->dev 0,4096-ptr_max
PARAM_VALUE 0 atmvcc->dev->ops 4096-ptr_max
PARAM_VALUE 0 atmvcc->dev->ops->close 5234409016607281152,7845458118853263360
PARAM_VALUE 0 atmvcc->push 1-u64max
PARAM_VALUE 1 skb 0
DATA_SOURCE 0 atmvcc $0
CONTAINER 0 -1616+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &inode->i_rwsem

net/atm/common.c vcc_process_recv_queue() -> (struct atm_vcc)->push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 0 atmvcc->owner 0
PARAM_VALUE 0 atmvcc->pop 4006619159316373504,5839797350846136320
PARAM_VALUE 0 atmvcc->push 1437157382896156672,6248336884622872576
PARAM_VALUE 0 atmvcc->release_cb 3318712709811916800,7073174287726444544
PARAM_VALUE 0 atmvcc->user_back 4096-ptr_max
PARAM_VALUE 1 skb 4096-195435803360489471,195435803360489473-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
BUF_SIZE 0 atmvcc->user_back 96,144
DATA_SOURCE 0 atmvcc $0
CAPABLE 0 12
CONTAINER 0 -1616+0 $(-1)
NOCHECK_CALL
LOCK2 global &ioctl_mutex

net/atm/br2684.c br2684_close_vcc() -> (struct br2684_vcc)->old_push()

Type Parameter Key Value
PARAM_VALUE 0 atmvcc 4096-ptr_max
PARAM_VALUE 0 atmvcc->user_back 0
PARAM_VALUE 1 skb 0
CONTAINER 0 *(-16+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL