xusbatm_unbind identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/usb/atm/xusbatm.c, line 130 (as a function)

Referenced in 1 files:

drivers/usb/atm/xusbatm.c, line 198

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_usb_disconnect() -> (struct usbatm_driver)->unbind()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbatm	4096-ptr_max
PARAM_VALUE	0	usbatm->disconnected	1
PARAM_VALUE	0	usbatm->driver	4096-ptr_max
PARAM_VALUE	0	usbatm->driver->atm_stop	0,940024792780886016
PARAM_VALUE	0	usbatm->driver->unbind	666980904055783424,3212344686661402624,3541923163243532288,6835298273605140480
PARAM_VALUE	0	usbatm->rx_channel.delay.entry.pprev	0
PARAM_VALUE	0	usbatm->rx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->rx_channel.delay.function	0
PARAM_VALUE	0	usbatm->rx_channel.list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->rx_channel.list.next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->rx_channel.list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->rx_channel.list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->rx_channel.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usbatm->serialize.dep_map->name	0-255
PARAM_VALUE	0	usbatm->serialize.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	usbatm->serialize.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->blocked_on	0
PARAM_VALUE	0	usbatm->serialize.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	usbatm->serialize.osq.tail.counter	0-s32max
PARAM_VALUE	0	usbatm->serialize.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	usbatm->thread->sighand->siglock.rlock.dep_map->name	0-255
PARAM_VALUE	0	usbatm->thread->signal->flags	0,2-u32max
PARAM_VALUE	0	usbatm->thread->signal->group_stop_count	0
PARAM_VALUE	0	usbatm->thread_exited.done	0-4294967293,u32max
PARAM_VALUE	0	usbatm->thread_exited.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	usbatm->thread_exited.wait.lock.owner	(-1)
PARAM_VALUE	0	usbatm->thread_exited.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.delay.entry.pprev	0
PARAM_VALUE	0	usbatm->tx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->tx_channel.delay.function	0
PARAM_VALUE	0	usbatm->tx_channel.list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.list.next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.list.prev->prev	4096-ptr_max
PARAM_VALUE	1	intf	4096-ptr_max
PARAM_VALUE	1	intf->dev.driver_data	0
BUF_SIZE	0	usbatm	s32min-(-2),1-s32max
BUF_SIZE	0	usbatm	s32min-(-2),1-s32max
CAPPED_DATA	0	usbatm->thread	1
CAPPED_DATA	0	&usbatm->rx_channel.delay	1
CAPPED_DATA	0	&usbatm->serialize	1
CAPPED_DATA	0	&usbatm->tx_channel.delay	1
CAPPED_DATA	0	&usbatm->vcc_list	1
DATA_SOURCE	1	intf	$0
CONTAINER	0	-24-0+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &uea_mutex

drivers/usb/atm/usbatm.c usbatm_usb_probe() -> (struct usbatm_driver)->unbind()

Type	Parameter	Key	Value
PARAM_VALUE	0	usbatm	4096-ptr_max
PARAM_VALUE	0	usbatm->driver	4096-ptr_max
PARAM_VALUE	0	usbatm->driver->unbind	666980904055783424,3212344686661402624,3541923163243532288,6835298273605140480
PARAM_VALUE	0	usbatm->refcount.refcount.refs.counter	1
PARAM_VALUE	0	usbatm->rx_channel.delay.entry.pprev	0
PARAM_VALUE	0	usbatm->rx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->rx_channel.delay.lockdep_map->name	0-255
PARAM_VALUE	0	usbatm->rx_channel.endpoint	128-s32max
PARAM_VALUE	0	usbatm->rx_channel.tasklet.count.counter	0
PARAM_VALUE	0	usbatm->rx_channel.tasklet.data	0
PARAM_VALUE	0	usbatm->rx_channel.tasklet.next	0
PARAM_VALUE	0	usbatm->rx_channel.tasklet.state	0
PARAM_VALUE	0	usbatm->rx_channel.tasklet.use_callback	1
PARAM_VALUE	0	usbatm->rx_channel.usbatm	4096-ptr_max
PARAM_VALUE	0	usbatm->serialize.dep_map->name	0-255
PARAM_VALUE	0	usbatm->serialize.first_waiter	0
PARAM_VALUE	0	usbatm->serialize.magic	4096-ptr_max
PARAM_VALUE	0	usbatm->serialize.osq.tail.counter	0
PARAM_VALUE	0	usbatm->serialize.owner.counter	0
PARAM_VALUE	0	usbatm->sndqueue.next	4096-ptr_max
PARAM_VALUE	0	usbatm->sndqueue.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->sndqueue.qlen	0
PARAM_VALUE	0	usbatm->thread	0
PARAM_VALUE	0	usbatm->thread_exited.wait.lock.owner	(-1)
PARAM_VALUE	0	usbatm->thread_exited.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_exited.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_started.done	0
PARAM_VALUE	0	usbatm->thread_started.wait.lock.magic	3735899821
PARAM_VALUE	0	usbatm->thread_started.wait.lock.owner	(-1)
PARAM_VALUE	0	usbatm->thread_started.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	usbatm->thread_started.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_started.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_started.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_started.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->thread_started.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.delay.entry.pprev	0
PARAM_VALUE	0	usbatm->tx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->tx_channel.delay.lockdep_map->name	0-255
PARAM_VALUE	0	usbatm->tx_channel.endpoint	s32min-0,1073741824-s32max
PARAM_VALUE	0	usbatm->tx_channel.tasklet.count.counter	0
PARAM_VALUE	0	usbatm->tx_channel.tasklet.data	0
PARAM_VALUE	0	usbatm->tx_channel.tasklet.next	0
PARAM_VALUE	0	usbatm->tx_channel.tasklet.state	0
PARAM_VALUE	0	usbatm->tx_channel.tasklet.use_callback	1
PARAM_VALUE	0	usbatm->tx_channel.usbatm	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->driver	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->rx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->tx_channel.usbatm->rx_channel.tasklet.data	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->rx_channel.tasklet.next	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->rx_channel.tasklet.state	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->rx_channel.tasklet.use_callback	1
PARAM_VALUE	0	usbatm->tx_channel.usbatm->serialize.first_waiter	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->serialize.magic	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->serialize.osq.tail.counter	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->serialize.owner.counter	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->sndqueue.next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->sndqueue.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->sndqueue.qlen	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->thread	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->thread_exited.done	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->thread_started.done	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.delay.flags	0-4194302
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.tasklet.data	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.tasklet.next	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.tasklet.state	0
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.tasklet.use_callback	1
PARAM_VALUE	0	usbatm->tx_channel.usbatm->tx_channel.usbatm	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->usb_dev	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->usb_intf	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->vcc_list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->tx_channel.usbatm->vcc_list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->usb_dev	4096-ptr_max
PARAM_VALUE	0	usbatm->usb_intf	4096-ptr_max
PARAM_VALUE	0	usbatm->usb_intf->authorized	1
PARAM_VALUE	0	usbatm->usb_intf->condition	1
PARAM_VALUE	0	usbatm->usb_intf->needs_altsetting0	0
PARAM_VALUE	0	usbatm->usb_intf->needs_binding	0
PARAM_VALUE	0	usbatm->vcc_list.next	4096-ptr_max
PARAM_VALUE	0	usbatm->vcc_list.next->next	4096-ptr_max
PARAM_VALUE	0	usbatm->vcc_list.prev	4096-ptr_max
PARAM_VALUE	0	usbatm->vcc_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usbatm->vcc_list.prev->prev	4096-ptr_max
PARAM_VALUE	1	intf	4096-ptr_max
PARAM_VALUE	1	intf->authorized	1
PARAM_VALUE	1	intf->condition	1
PARAM_VALUE	1	intf->needs_altsetting0	0
PARAM_VALUE	1	intf->needs_binding	0
BUF_SIZE	0	usbatm	1128-68719477848
BUF_SIZE	0	usbatm	1128-68719477848
BUF_SIZE	0	usbatm->cell_buf	0-u32max,u64max
BUF_SIZE	0	usbatm->tx_channel.usbatm	1128-68719477848
CAPPED_DATA	1	intf	1
DATA_SOURCE	0	usbatm	r _kzalloc_noprof
DATA_SOURCE	1	intf	$0
CONTAINER	0	-24-0+0	$(-1)
BIT_INFO	0	usbatm->rx_channel.endpoint	0x80,0xffffffffffffffff
BIT_INFO	0	usbatm->tx_channel.endpoint	0xc0000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL