hso_serial_common_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

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

Referenced in 1 files:

drivers/net/usb/hso.c

Smatch caller information:

drivers/net/usb/hso.c hso_create_bulk_serial_device() -> hso_serial_common_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	serial	4096-ptr_max
PARAM_VALUE	0	serial->magic	1213419313
PARAM_VALUE	0	serial->minor	0
PARAM_VALUE	0	serial->num_rx_urbs	1-2
PARAM_VALUE	0	serial->parent	4096-ptr_max
PARAM_VALUE	0	serial->parent->dev	4096-ptr_max
PARAM_VALUE	0	serial->parent->interface	4096-ptr_max
PARAM_VALUE	0	serial->parent->mutex.first_waiter	0
PARAM_VALUE	0	serial->parent->mutex.magic	4096-ptr_max
PARAM_VALUE	0	serial->parent->mutex.osq.tail.counter	0
PARAM_VALUE	0	serial->parent->mutex.owner.counter	0
PARAM_VALUE	0	serial->parent->ref.refcount.refs.counter	1
PARAM_VALUE	0	serial->port.blocked_open	0
PARAM_VALUE	0	serial->port.buf.free.first	0
PARAM_VALUE	0	serial->port.buf.head	4096-ptr_max
PARAM_VALUE	0	serial->port.buf.head->commit	0
PARAM_VALUE	0	serial->port.buf.head->flags	1
PARAM_VALUE	0	serial->port.buf.head->lookahead	0
PARAM_VALUE	0	serial->port.buf.head->next	0
PARAM_VALUE	0	serial->port.buf.head->read	0
PARAM_VALUE	0	serial->port.buf.head->size	0
PARAM_VALUE	0	serial->port.buf.head->used	0
PARAM_VALUE	0	serial->port.buf.lock.dep_map->name	0-255
PARAM_VALUE	0	serial->port.buf.lock.first_waiter	0
PARAM_VALUE	0	serial->port.buf.lock.magic	4096-ptr_max
PARAM_VALUE	0	serial->port.buf.lock.osq.tail.counter	0
PARAM_VALUE	0	serial->port.buf.lock.owner.counter	0
PARAM_VALUE	0	serial->port.buf.mem_limit	655360
PARAM_VALUE	0	serial->port.buf.mem_used.counter	0
PARAM_VALUE	0	serial->port.buf.priority.counter	0
PARAM_VALUE	0	serial->port.buf.sentinel.commit	0
PARAM_VALUE	0	serial->port.buf.sentinel.flags	1
PARAM_VALUE	0	serial->port.buf.sentinel.free.next	0
PARAM_VALUE	0	serial->port.buf.sentinel.lookahead	0
PARAM_VALUE	0	serial->port.buf.sentinel.next	0
PARAM_VALUE	0	serial->port.buf.sentinel.read	0
PARAM_VALUE	0	serial->port.buf.sentinel.size	0
PARAM_VALUE	0	serial->port.buf.sentinel.used	0
PARAM_VALUE	0	serial->port.buf.tail	4096-ptr_max
PARAM_VALUE	0	serial->port.buf.tail->commit	0
PARAM_VALUE	0	serial->port.buf.tail->flags	1
PARAM_VALUE	0	serial->port.buf.tail->lookahead	0
PARAM_VALUE	0	serial->port.buf.tail->next	0
PARAM_VALUE	0	serial->port.buf.tail->read	0
PARAM_VALUE	0	serial->port.buf.tail->size	0
PARAM_VALUE	0	serial->port.buf.tail->used	0
PARAM_VALUE	0	serial->port.buf.work.func	0
PARAM_VALUE	0	serial->port.buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	serial->port.buf_mutex.first_waiter	0
PARAM_VALUE	0	serial->port.buf_mutex.magic	4096-ptr_max
PARAM_VALUE	0	serial->port.buf_mutex.osq.tail.counter	0
PARAM_VALUE	0	serial->port.buf_mutex.owner.counter	0
PARAM_VALUE	0	serial->port.client_data	0
PARAM_VALUE	0	serial->port.client_ops	6331571049099714560
PARAM_VALUE	0	serial->port.client_ops->lookahead_buf	0,5552213984272089088
PARAM_VALUE	0	serial->port.client_ops->receive_buf	0,2070410949742354432,5991726090128461824
PARAM_VALUE	0	serial->port.client_ops->write_wakeup	0,4180907491510067200,7004002109319299072
PARAM_VALUE	0	serial->port.close_delay	125
PARAM_VALUE	0	serial->port.closing_wait	7500
PARAM_VALUE	0	serial->port.console	0
PARAM_VALUE	0	serial->port.count	0
PARAM_VALUE	0	serial->port.delta_msr_wait.head.next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->port.drain_delay	0
PARAM_VALUE	0	serial->port.flags	0
PARAM_VALUE	0	serial->port.iflags	0
PARAM_VALUE	0	serial->port.itty	0
PARAM_VALUE	0	serial->port.kref.refcount.refs.counter	1
PARAM_VALUE	0	serial->port.open_wait.head.next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->port.ops	0
PARAM_VALUE	0	serial->port.tty	0
PARAM_VALUE	0	serial->port.xmit_buf	0
PARAM_VALUE	0	serial->port.xmit_fifo.const_type	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.data	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.esize	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.in	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.mask	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.out	0
PARAM_VALUE	0	serial->port.xmit_fifo.ptr	0
PARAM_VALUE	0	serial->port.xmit_fifo.ptr_const	0
PARAM_VALUE	0	serial->port.xmit_fifo.rectype	0
PARAM_VALUE	0	serial->port.xmit_fifo.type	0
PARAM_VALUE	0	serial->rx_data_length	4096
PARAM_VALUE	0	serial->tx_buffer	4096-ptr_max
PARAM_VALUE	0	serial->tx_buffer_count	0
PARAM_VALUE	0	serial->tx_data	4096-ptr_max
PARAM_VALUE	0	serial->tx_data_count	0
PARAM_VALUE	0	serial->tx_data_length	8192
PARAM_VALUE	0	serial->tx_urb	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->actual_length	0
PARAM_VALUE	0	serial->tx_urb->anchor	0
PARAM_VALUE	0	serial->tx_urb->anchor_list.next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->anchor_list.next->next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->anchor_list.prev	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->anchor_list.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->anchor_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->complete	0
PARAM_VALUE	0	serial->tx_urb->context	0
PARAM_VALUE	0	serial->tx_urb->dev	0
PARAM_VALUE	0	serial->tx_urb->ep	0
PARAM_VALUE	0	serial->tx_urb->error_count	0
PARAM_VALUE	0	serial->tx_urb->hcpriv	0
PARAM_VALUE	0	serial->tx_urb->interval	0
PARAM_VALUE	0	serial->tx_urb->kref.refcount.refs.counter	1
PARAM_VALUE	0	serial->tx_urb->num_mapped_sgs	0
PARAM_VALUE	0	serial->tx_urb->num_sgs	0
PARAM_VALUE	0	serial->tx_urb->number_of_packets	0
PARAM_VALUE	0	serial->tx_urb->pipe	0
PARAM_VALUE	0	serial->tx_urb->reject.counter	0
PARAM_VALUE	0	serial->tx_urb->setup_dma	0
PARAM_VALUE	0	serial->tx_urb->setup_packet	0
PARAM_VALUE	0	serial->tx_urb->sg	0
PARAM_VALUE	0	serial->tx_urb->sgt	0
PARAM_VALUE	0	serial->tx_urb->start_frame	0
PARAM_VALUE	0	serial->tx_urb->status	0
PARAM_VALUE	0	serial->tx_urb->stream_id	0
PARAM_VALUE	0	serial->tx_urb->transfer_buffer	0
PARAM_VALUE	0	serial->tx_urb->transfer_buffer_length	0
PARAM_VALUE	0	serial->tx_urb->transfer_dma	0
PARAM_VALUE	0	serial->tx_urb->transfer_flags	0
PARAM_VALUE	0	serial->tx_urb->unlinked	0
PARAM_VALUE	0	serial->tx_urb->urb_list.next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->urb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->tx_urb->use_count.counter	0
BUF_SIZE	0	serial	1264
BUF_SIZE	0	serial->parent	360
BUF_SIZE	0	serial->tiocmget	320,u64max
BUF_SIZE	0	serial->tiocmget->serial_state_notification	10,u64max
DATA_SOURCE	0	serial	r _kzalloc_noprof
MEM_ZERO	0	&serial->port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/usb/hso.c hso_free_serial_device() -> hso_serial_common_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	serial	1-u64max
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/usb/hso.c hso_serial_common_create() -> hso_serial_common_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	serial	4096-ptr_max
PARAM_VALUE	0	serial->magic	1213419313
PARAM_VALUE	0	serial->num_rx_urbs	1-2
PARAM_VALUE	0	serial->parent	4096-ptr_max
PARAM_VALUE	0	serial->parent->interface	4096-ptr_max
PARAM_VALUE	0	serial->parent->mutex.first_waiter	0
PARAM_VALUE	0	serial->parent->mutex.magic	4096-ptr_max
PARAM_VALUE	0	serial->parent->mutex.osq.tail.counter	0
PARAM_VALUE	0	serial->parent->mutex.owner.counter	0
PARAM_VALUE	0	serial->parent->ref.refcount.refs.counter	1
PARAM_VALUE	0	serial->port.blocked_open	0
PARAM_VALUE	0	serial->port.buf.free.first	0
PARAM_VALUE	0	serial->port.buf.head	256
PARAM_VALUE	0	serial->port.buf.head->commit	0
PARAM_VALUE	0	serial->port.buf.head->flags	1
PARAM_VALUE	0	serial->port.buf.head->lookahead	0
PARAM_VALUE	0	serial->port.buf.head->next	0
PARAM_VALUE	0	serial->port.buf.head->read	0
PARAM_VALUE	0	serial->port.buf.head->size	0
PARAM_VALUE	0	serial->port.buf.head->used	0
PARAM_VALUE	0	serial->port.buf.lock.dep_map->name	0-255
PARAM_VALUE	0	serial->port.buf.lock.first_waiter	0
PARAM_VALUE	0	serial->port.buf.lock.magic	4096-ptr_max
PARAM_VALUE	0	serial->port.buf.lock.osq.tail.counter	0
PARAM_VALUE	0	serial->port.buf.lock.owner.counter	0
PARAM_VALUE	0	serial->port.buf.mem_limit	655360
PARAM_VALUE	0	serial->port.buf.mem_used.counter	0
PARAM_VALUE	0	serial->port.buf.priority.counter	0
PARAM_VALUE	0	serial->port.buf.sentinel.commit	0
PARAM_VALUE	0	serial->port.buf.sentinel.flags	1
PARAM_VALUE	0	serial->port.buf.sentinel.free.next	0
PARAM_VALUE	0	serial->port.buf.sentinel.lookahead	0
PARAM_VALUE	0	serial->port.buf.sentinel.next	0
PARAM_VALUE	0	serial->port.buf.sentinel.read	0
PARAM_VALUE	0	serial->port.buf.sentinel.size	0
PARAM_VALUE	0	serial->port.buf.sentinel.used	0
PARAM_VALUE	0	serial->port.buf.tail	256
PARAM_VALUE	0	serial->port.buf.tail->commit	0
PARAM_VALUE	0	serial->port.buf.tail->flags	1
PARAM_VALUE	0	serial->port.buf.tail->lookahead	0
PARAM_VALUE	0	serial->port.buf.tail->next	0
PARAM_VALUE	0	serial->port.buf.tail->read	0
PARAM_VALUE	0	serial->port.buf.tail->size	0
PARAM_VALUE	0	serial->port.buf.tail->used	0
PARAM_VALUE	0	serial->port.buf.work.func	0
PARAM_VALUE	0	serial->port.buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	serial->port.buf_mutex.first_waiter	0
PARAM_VALUE	0	serial->port.buf_mutex.magic	4096-ptr_max
PARAM_VALUE	0	serial->port.buf_mutex.osq.tail.counter	0
PARAM_VALUE	0	serial->port.buf_mutex.owner.counter	0
PARAM_VALUE	0	serial->port.client_data	0
PARAM_VALUE	0	serial->port.client_ops	6331571049099714560
PARAM_VALUE	0	serial->port.client_ops->lookahead_buf	0,5552213984272089088
PARAM_VALUE	0	serial->port.client_ops->receive_buf	0,2070410949742354432,5991726090128461824
PARAM_VALUE	0	serial->port.client_ops->write_wakeup	0,4180907491510067200,7004002109319299072
PARAM_VALUE	0	serial->port.close_delay	125
PARAM_VALUE	0	serial->port.closing_wait	7500
PARAM_VALUE	0	serial->port.console	0
PARAM_VALUE	0	serial->port.count	0
PARAM_VALUE	0	serial->port.delta_msr_wait.head.next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->port.delta_msr_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->port.drain_delay	0
PARAM_VALUE	0	serial->port.flags	0
PARAM_VALUE	0	serial->port.iflags	0
PARAM_VALUE	0	serial->port.itty	0
PARAM_VALUE	0	serial->port.kref.refcount.refs.counter	1
PARAM_VALUE	0	serial->port.open_wait.head.next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	serial->port.open_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	serial->port.ops	0
PARAM_VALUE	0	serial->port.tty	0
PARAM_VALUE	0	serial->port.xmit_buf	0
PARAM_VALUE	0	serial->port.xmit_fifo.const_type	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.data	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.esize	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.in	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.mask	0
PARAM_VALUE	0	serial->port.xmit_fifo.kfifo.out	0
PARAM_VALUE	0	serial->port.xmit_fifo.ptr	0
PARAM_VALUE	0	serial->port.xmit_fifo.ptr_const	0
PARAM_VALUE	0	serial->port.xmit_fifo.rectype	0
PARAM_VALUE	0	serial->port.xmit_fifo.type	0
PARAM_VALUE	0	serial->rx_data_length	1024,4096
PARAM_VALUE	0	serial->rx_urb	4096-ptr_max
BUF_SIZE	0	serial	1264
BUF_SIZE	0	serial->parent	360
BUF_SIZE	0	serial->parent->dev	(-1),8,96,248,1296,1616
BUF_SIZE	0	serial->tiocmget	(-1),320
BUF_SIZE	0	serial->tiocmget->serial_state_notification	(-1),10
BUF_SIZE	0	serial->tx_buffer	64,8192,u64max
BUF_SIZE	0	serial->tx_data	64,8192,u64max
BUF_SIZE	0	serial->tx_urb	s32min-s32max
CAPPED_DATA	0	serial->num_rx_urbs	1
DATA_SOURCE	0	serial	$0
MEM_ZERO	0	&serial->port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL