Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/ems_usb.c ems_usb_close() -> ems_usb_write_mode()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->active_tx_urbs.counter 0
PARAM_VALUE 0 dev->intr_urb 0,4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->udev 0,4096-ptr_max
PARAM_VALUE 1 mode 1
CAPPED_DATA 0 dev->intr_urb 1
PARAM_COMPARE 0 &dev->rx_submitted.urb_list == $0->rx_submitted.urb_list.next
PARAM_COMPARE 0 &dev->tx_submitted.urb_list == $0->tx_submitted.urb_list.next
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->intr_urb->transfer_buffer_length
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/usb/ems_usb.c ems_usb_open() -> ems_usb_write_mode()

Type Parameter Key Value
PARAM_VALUE 1 mode 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/usb/ems_usb.c ems_usb_set_mode() -> ems_usb_write_mode()

Type Parameter Key Value
PARAM_VALUE 1 mode 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/usb/ems_usb.c ems_usb_start() -> ems_usb_write_mode()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->active_params.msg.can_params.cc_params.sja1000.mode 1
PARAM_VALUE 0 dev->bittiming.bitrate 1-4294967295
PARAM_VALUE 0 dev->ctrlmode 32-4294967295
PARAM_VALUE 0 dev->free_slots 50
PARAM_VALUE 0 dev->intr_in_buffer 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->actual_length 0-s32max
PARAM_VALUE 0 dev->intr_urb->complete 3045310397381173248
PARAM_VALUE 0 dev->intr_urb->context 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->dev 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->dev->state 4-u32max
PARAM_VALUE 0 dev->intr_urb->ep 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 dev->intr_urb->interval s32min-32768
PARAM_VALUE 0 dev->intr_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 dev->intr_urb->pipe 0,128-u32max
PARAM_VALUE 0 dev->intr_urb->start_frame (-1)
PARAM_VALUE 0 dev->intr_urb->status (-4095)-0
PARAM_VALUE 0 dev->intr_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 dev->intr_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 dev->intr_urb->transfer_buffer_length 4
PARAM_VALUE 0 dev->intr_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 dev->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->udev->state 4-u32max
PARAM_VALUE 0 *dev->netdev->name 0-255
PARAM_VALUE 1 mode 0
CAPPED_DATA 0 dev->bittiming.bitrate 1
CAPPED_DATA 0 dev->fd.data_bittiming.bitrate 1
CAPPED_DATA 0 dev->intr_urb 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->intr_urb->num_mapped_sgs
HALF_LOCKED2 global &rtnl_mutex