musb_platform_exit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/usb/musb/musb_core.h, line 569 (as a function)

Referenced in 1 files:

drivers/usb/musb/musb_core.c
- line 2586
- line 2645

Smatch caller information:

drivers/usb/musb/musb_core.c musb_init_controller() -> musb_platform_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	musb	4096-ptr_max
PARAM_VALUE	0	musb->a_wait_bcon	1100
PARAM_VALUE	0	musb->bulk_combine	1
PARAM_VALUE	0	musb->bulk_ep->ep_in.current_epnum	0-254
PARAM_VALUE	0	musb->bulk_ep->ep_in.dma	0
PARAM_VALUE	0	musb->bulk_ep->ep_in.hw_ep	0-254
PARAM_VALUE	0	musb->bulk_ep->ep_in.is_in	0-1
PARAM_VALUE	0	musb->bulk_ep->ep_in.packet_sz	0-2047
PARAM_VALUE	0	musb->bulk_ep->ep_in.type	0-3
PARAM_VALUE	0	musb->bulk_ep->ep_in.wedged	0-1
PARAM_VALUE	0	musb->bulk_ep->ep_out.current_epnum	0-254
PARAM_VALUE	0	musb->bulk_ep->ep_out.dma	0
PARAM_VALUE	0	musb->bulk_ep->ep_out.hw_ep	0-254
PARAM_VALUE	0	musb->bulk_ep->ep_out.is_in	0-1
PARAM_VALUE	0	musb->bulk_ep->ep_out.packet_sz	0-2047
PARAM_VALUE	0	musb->bulk_ep->ep_out.type	0-3
PARAM_VALUE	0	musb->bulk_ep->ep_out.wedged	0-1
PARAM_VALUE	0	musb->bulk_ep->epnum	0-15
PARAM_VALUE	0	musb->bulk_ep->rx_channel	0
PARAM_VALUE	0	musb->bulk_ep->rx_reinit	0-1
PARAM_VALUE	0	musb->bulk_ep->tx_channel	0
PARAM_VALUE	0	musb->bulk_ep->tx_reinit	1
PARAM_VALUE	0	musb->bulk_split	1
PARAM_VALUE	0	musb->config	4096-ptr_max
PARAM_VALUE	0	musb->config->fifo_cfg	0,4096-ptr_max
PARAM_VALUE	0	musb->config->fifo_cfg_size	0,8,14
PARAM_VALUE	0	musb->config->num_eps	0-16
PARAM_VALUE	0	musb->control.next	4096-ptr_max
PARAM_VALUE	0	musb->control.next->next	4096-ptr_max
PARAM_VALUE	0	musb->control.prev	4096-ptr_max
PARAM_VALUE	0	musb->control.prev->next	4096-ptr_max
PARAM_VALUE	0	musb->control.prev->prev	4096-ptr_max
PARAM_VALUE	0	musb->controller	4096-ptr_max
PARAM_VALUE	0	musb->controller->bus	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->class	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->devres_head.prev	0
PARAM_VALUE	0	musb->controller->power.autosuspend_delay	500
PARAM_VALUE	0	musb->controller->power.disable_depth	1-7
PARAM_VALUE	0	musb->controller->power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	musb->controller->power.qos	0,4096-u64max
PARAM_VALUE	0	musb->controller->power.request_pending	0
PARAM_VALUE	0	musb->controller->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	musb->controller->power.runtime_status	0,2
PARAM_VALUE	0	musb->controller->power.timer_expires	0
PARAM_VALUE	0	musb->controller->power.usage_count.counter	0-s32max
PARAM_VALUE	0	musb->controller->power.use_autosuspend	0
PARAM_VALUE	0	musb->controller->power.wakeirq	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	musb->controller->type	0,4096-ptr_max
PARAM_VALUE	0	musb->ctrl_base	4096-ptr_max
PARAM_VALUE	0	musb->deassert_reset_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->dyn_fifo	1
PARAM_VALUE	0	musb->endpoints	0
PARAM_VALUE	0	musb->endpoints->ep_in->name	0-127
PARAM_VALUE	0	musb->endpoints->ep_in.busy	0
PARAM_VALUE	0	musb->endpoints->ep_in.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_in.desc	0
PARAM_VALUE	0	musb->endpoints->ep_in.dma	0
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.desc	0
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.mult	0
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.name	0
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops	4208025156217217024,4831832825145233408
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->alloc_request	6752120222023979008
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->dequeue	3696788548004458496
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->disable	6978157285518360576
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->enable	6694072464148656128
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->fifo_flush	3264284593288769536
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->fifo_status	8537505227390476288
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->free_request	8156665156656447488
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->queue	854483496954871808
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->set_halt	5962887249571184640
PARAM_VALUE	0	musb->endpoints->ep_in.end_point.ops->set_wedge	4467637448016969728
PARAM_VALUE	0	musb->endpoints->ep_in.hb_mult	0
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.hw_ep	0-254
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_in.wedged	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.hw_ep	0-254
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->ep_out.wedged	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->epnum	0-15
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->rx_reinit	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.hw_ep->tx_reinit	1
PARAM_VALUE	0	musb->endpoints->ep_in.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_in.musb->a_wait_bcon	1100
PARAM_VALUE	0	musb->endpoints->ep_in.musb->g.max_speed	3
PARAM_VALUE	0	musb->endpoints->ep_in.musb->vbuserr_retry	3
PARAM_VALUE	0	musb->endpoints->ep_in.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_in.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_in.wedged	0-1
PARAM_VALUE	0	musb->endpoints->ep_out->name	0-127
PARAM_VALUE	0	musb->endpoints->ep_out.busy	0
PARAM_VALUE	0	musb->endpoints->ep_out.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_out.desc	0
PARAM_VALUE	0	musb->endpoints->ep_out.dma	0
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.desc	0
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.mult	0
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.name	0
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops	4208025156217217024,4831832825145233408
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->alloc_request	6752120222023979008
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->dequeue	3696788548004458496
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->disable	6978157285518360576
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->enable	6694072464148656128
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->fifo_flush	3264284593288769536
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->fifo_status	8537505227390476288
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->free_request	8156665156656447488
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->queue	854483496954871808
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->set_halt	5962887249571184640
PARAM_VALUE	0	musb->endpoints->ep_out.end_point.ops->set_wedge	4467637448016969728
PARAM_VALUE	0	musb->endpoints->ep_out.hb_mult	0
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.hw_ep	0-254
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_in.wedged	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.current_epnum	0-254
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.hw_ep	0-254
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->ep_out.wedged	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->epnum	0-15
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->rx_reinit	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.hw_ep->tx_reinit	1
PARAM_VALUE	0	musb->endpoints->ep_out.is_in	0-1
PARAM_VALUE	0	musb->endpoints->ep_out.musb->a_wait_bcon	1100
PARAM_VALUE	0	musb->endpoints->ep_out.musb->g.max_speed	3
PARAM_VALUE	0	musb->endpoints->ep_out.musb->vbuserr_retry	3
PARAM_VALUE	0	musb->endpoints->ep_out.packet_sz	0-2047
PARAM_VALUE	0	musb->endpoints->ep_out.type	0-3
PARAM_VALUE	0	musb->endpoints->ep_out.wedged	0-1
PARAM_VALUE	0	musb->endpoints->epnum	0
PARAM_VALUE	0	musb->endpoints->is_shared_fifo	1
PARAM_VALUE	0	musb->endpoints->max_packet_sz_rx	0-u16max
PARAM_VALUE	0	musb->endpoints->max_packet_sz_tx	0-u16max
PARAM_VALUE	0	musb->endpoints->musb->a_wait_bcon	1100
PARAM_VALUE	0	musb->endpoints->musb->nIrq	(-19)
PARAM_VALUE	0	musb->endpoints->musb->vbuserr_retry	3
PARAM_VALUE	0	musb->endpoints->rx_channel	0
PARAM_VALUE	0	musb->endpoints->rx_double_buffered	0-1
PARAM_VALUE	0	musb->endpoints->rx_reinit	0-1
PARAM_VALUE	0	musb->endpoints->tx_channel	0
PARAM_VALUE	0	musb->endpoints->tx_double_buffered	0-1
PARAM_VALUE	0	musb->endpoints->tx_reinit	1
PARAM_VALUE	0	musb->finish_resume_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->g.dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	musb->g.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	musb->g.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	musb->hb_iso_rx	1
PARAM_VALUE	0	musb->hb_iso_tx	1
PARAM_VALUE	0	musb->hcd	4096-ptr_max
PARAM_VALUE	0	musb->in_bulk.next	4096-ptr_max
PARAM_VALUE	0	musb->in_bulk.next->next	4096-ptr_max
PARAM_VALUE	0	musb->in_bulk.prev	4096-ptr_max
PARAM_VALUE	0	musb->in_bulk.prev->next	4096-ptr_max
PARAM_VALUE	0	musb->in_bulk.prev->prev	4096-ptr_max
PARAM_VALUE	0	musb->intrrxe	0
PARAM_VALUE	0	musb->intrtxe	0
PARAM_VALUE	0	musb->io.busctl_offset	1248386649783717888,5995201179778945024
PARAM_VALUE	0	musb->io.ep_offset	4629125777791062016,5953944726061842432,7896763193833000960
PARAM_VALUE	0	musb->io.ep_select	3808160040560377856,6826052849563561984,8762717428413337600
PARAM_VALUE	0	musb->io.fifo_offset	2512156531532042240,4130911014496870400
PARAM_VALUE	0	musb->io.get_toggle	5886234122439499776,9092156100879208448
PARAM_VALUE	0	musb->io.read_fifo	2610558246662930432,3706325595546038272,6150707366358323200
PARAM_VALUE	0	musb->io.set_toggle	3610239433041551360,4802079781705814016
PARAM_VALUE	0	musb->io.write_fifo	6673460230725906432,9077576721078198272
PARAM_VALUE	0	musb->irq_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->mregs	4096-ptr_max
PARAM_VALUE	0	musb->nIrq	(-19),1-s32max
PARAM_VALUE	0	musb->ops	4096-ptr_max
PARAM_VALUE	0	musb->ops->busctl_offset	0,1248386649783717888
PARAM_VALUE	0	musb->ops->clearb	0,2299377943070584832
PARAM_VALUE	0	musb->ops->clearw	0,6794286903324692480
PARAM_VALUE	0	musb->ops->disable	0,4096-ptr_max
PARAM_VALUE	0	musb->ops->ep_offset	0,5953944726061842432
PARAM_VALUE	0	musb->ops->ep_select	0,6826052849563561984
PARAM_VALUE	0	musb->ops->fifo_mode	0,2,5
PARAM_VALUE	0	musb->ops->fifo_offset	0,4130911014496870400
PARAM_VALUE	0	musb->ops->get_toggle	0,5886234122439499776
PARAM_VALUE	0	musb->ops->init	4096-ptr_max
PARAM_VALUE	0	musb->ops->phy_callback	0,791890742606315520
PARAM_VALUE	0	musb->ops->read_fifo	0,2610558246662930432,6150707366358323200
PARAM_VALUE	0	musb->ops->readb	0,5798675890739494912
PARAM_VALUE	0	musb->ops->readw	0
PARAM_VALUE	0	musb->ops->set_mode	0,4096-ptr_max
PARAM_VALUE	0	musb->ops->set_toggle	0,4802079781705814016
PARAM_VALUE	0	musb->ops->try_idle	0,4096-ptr_max
PARAM_VALUE	0	musb->ops->write_fifo	0,6673460230725906432
PARAM_VALUE	0	musb->ops->writeb	0,7112494995365257216
PARAM_VALUE	0	musb->ops->writew	0
PARAM_VALUE	0	musb->out_bulk.next	4096-ptr_max
PARAM_VALUE	0	musb->out_bulk.next->next	4096-ptr_max
PARAM_VALUE	0	musb->out_bulk.prev	4096-ptr_max
PARAM_VALUE	0	musb->out_bulk.prev->next	4096-ptr_max
PARAM_VALUE	0	musb->out_bulk.prev->prev	4096-ptr_max
PARAM_VALUE	0	musb->pending_list.next	4096-ptr_max
PARAM_VALUE	0	musb->pending_list.next->next	4096-ptr_max
PARAM_VALUE	0	musb->pending_list.prev	4096-ptr_max
PARAM_VALUE	0	musb->pending_list.prev->next	4096-ptr_max
PARAM_VALUE	0	musb->pending_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	musb->port_mode	0-255
PARAM_VALUE	0	musb->vbuserr_retry	3
PARAM_VALUE	0	musb->xceiv	0,4096-ptr_max
PARAM_VALUE	0	musb->xceiv->io_dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	musb->xceiv->otg->usb_phy->io_dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*musb->hcd->hcd_priv	4096-s64max
BUF_SIZE	0	musb	10272
BUF_SIZE	0	musb->controller	1616
BUF_SIZE	0	musb->ops	248
BUF_SIZE	0	musb->xceiv->io_dev	(-1),1616
BUF_SIZE	0	musb->xceiv->io_ops	(-1),16
CAPPED_DATA	0	musb->config->num_eps	1
CAPPED_DATA	0	musb->hcd	1
DATA_SOURCE	0	musb	r allocate_instance
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	musb->nIrq

drivers/usb/musb/musb_core.c musb_remove() -> musb_platform_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	musb	4096-ptr_max
PARAM_VALUE	0	musb->controller	4096-ptr_max
PARAM_VALUE	0	musb->controller->bus	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->class	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->power.request	0-4
PARAM_VALUE	0	musb->controller->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	musb->controller->power.wakeirq	0,4096-ptr_max
PARAM_VALUE	0	musb->controller->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	musb->controller->type	0,4096-ptr_max
PARAM_VALUE	0	musb->deassert_reset_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->debugfs_root	0,4096-u64max
PARAM_VALUE	0	musb->debugfs_root->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	musb->debugfs_root->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	musb->debugfs_root->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	musb->dev_timer.entry.pprev	0
PARAM_VALUE	0	musb->dev_timer.flags	0-4194302
PARAM_VALUE	0	musb->dev_timer.function	0
PARAM_VALUE	0	musb->finish_resume_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->g.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	musb->hcd->self.controller->pins->p	0,4096-s64max
PARAM_VALUE	0	musb->intrrxe	0
PARAM_VALUE	0	musb->intrtxe	0
PARAM_VALUE	0	musb->irq_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	musb->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	musb->ops	4096-ptr_max
PARAM_VALUE	0	musb->ops->disable	0,4096-ptr_max
PARAM_VALUE	0	musb->ops->init	4096-ptr_max
PARAM_VALUE	0	musb->ops->try_idle	0,4096-ptr_max
PARAM_VALUE	0	*musb->debugfs_root->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*musb->debugfs_root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*musb->debugfs_root->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
BUF_SIZE	0	musb	s32min-(-2),1-s32max
BUF_SIZE	0	musb	s32min-(-2),1-s32max
CAPPED_DATA	0	musb->debugfs_root	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	musb	unit_byte
HALF_LOCKED2		&_dev->mutex