hso_stop_serial_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/usb/hso.c, line 304 (as a prototype)

Defined in 1 files as a function:

drivers/net/usb/hso.c, line 2178 (as a function)

Referenced in 1 files:

drivers/net/usb/hso.c

Smatch caller information:

drivers/net/usb/hso.c hso_serial_close() -> hso_stop_serial_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	hso_dev	4096-ptr_max
PARAM_VALUE	0	hso_dev->interface	4096-ptr_max
PARAM_VALUE	0	hso_dev->interface->dev.power.request	0-4
PARAM_VALUE	0	hso_dev->interface->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	hso_dev->interface->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	hso_dev->mutex.dep_map->name	0-255
PARAM_VALUE	0	hso_dev->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hso_dev->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hso_dev->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hso_dev->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hso_dev->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hso_dev->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	hso_dev->usb_gone	0
CAPPED_DATA	0	&hso_dev->mutex	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&hso_dev->mutex
HALF_LOCKED2		&tty->legacy_mutex
HALF_LOCKED2		global &spk_mutex
TYPE_LOCK		(struct hso_device)->mutex

drivers/net/usb/hso.c hso_serial_open() -> hso_stop_serial_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	hso_dev	4096-ptr_max
PARAM_VALUE	0	hso_dev->interface	4096-ptr_max
PARAM_VALUE	0	hso_dev->interface->dev.power.request	0-4
PARAM_VALUE	0	hso_dev->interface->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	hso_dev->interface->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	hso_dev->mutex.dep_map->name	0-255
PARAM_VALUE	0	hso_dev->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hso_dev->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hso_dev->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hso_dev->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hso_dev->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hso_dev->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->parent->port_spec	256-u32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_int_lock.dep_map->name	0-255
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->complete	7537072427572297728
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->ep	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->ep->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->ep->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->num_mapped_sgs	0-s32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->pipe	0,128-u32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->start_frame	(-1)
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->status	(-115)
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->transfer_buffer_length	1
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->unlinked	0
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.next->prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->shared_int->shared_intr_urb->urb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->complete	6071601087076261888
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->ep	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->ep->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->ep->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->ep->urb_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->num_mapped_sgs	0-s32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->pipe	0,128-u32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->start_frame	(-1)
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->status	(-4095)-0
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->transfer_buffer->_refcount.counter	s32min-s32max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->transfer_buffer->bDeviceProtocol	1
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->transfer_buffer->bmAttributes	0-255
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->transfer_buffer->page_type	0-4294967295
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->transfer_buffer_length	10
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->urb_list.next->prev	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	hso_dev->port_data.dev_serial->tiocmget->urb->urb_list.prev->prev	4096-ptr_max
CAPPED_DATA	0	&hso_dev->mutex	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&hso_dev->mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex
TYPE_LOCK		(struct hso_device)->mutex

drivers/net/usb/hso.c hso_suspend() -> hso_stop_serial_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	hso_dev	4096-ptr_max
PARAM_VALUE	0	hso_dev->interface	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING