pch_udc_set_disconnect identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/usb/gadget/udc/pch_udc.c, line 538

Defined in 1 files as a function:

drivers/usb/gadget/udc/pch_udc.c, line 542 (as a function)

Referenced in 1 files:

drivers/usb/gadget/udc/pch_udc.c

Smatch caller information:

drivers/usb/gadget/udc/pch_udc.c pch_udc_exit() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->ep->ep.address	0-255
PARAM_VALUE	0	dev->ep->ep.caps.dir_in	0-1
PARAM_VALUE	0	dev->ep->ep.caps.dir_out	0-1
PARAM_VALUE	0	dev->ep->ep.caps.type_bulk	0-1
PARAM_VALUE	0	dev->ep->ep.caps.type_control	0-1
PARAM_VALUE	0	dev->ep->ep.caps.type_int	0-1
PARAM_VALUE	0	dev->ep->ep.caps.type_iso	0-1
PARAM_VALUE	0	dev->ep->ep.claimed	0-1
PARAM_VALUE	0	dev->ep->ep.enabled	0-1
PARAM_VALUE	0	dev->ep->ep.max_streams	0-u16max
PARAM_VALUE	0	dev->ep->ep.maxburst	0-31
PARAM_VALUE	0	dev->ep->ep.maxpacket	0-u16max
PARAM_VALUE	0	dev->ep->ep.maxpacket_limit	0-u16max
PARAM_VALUE	0	dev->ep->ep.mult	0-3
PARAM_VALUE	0	dev->ep->epsts	0-4294967295
PARAM_VALUE	0	dev->ep->halted	0-1
PARAM_VALUE	0	dev->ep->in	0-1
PARAM_VALUE	0	dev->ep->num	0-15
PARAM_VALUE	0	dev->ep->offset_addr	0-480,512-992
PARAM_VALUE	0	dev->gadget.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->vbus_gpio.intr	0-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->pdev->current_state	0-3[c]
UNITS	0	dev	unit_byte

drivers/usb/gadget/udc/pch_udc.c pch_udc_pcd_pullup() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->driver	0,4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		iflags
LOCK2	0	&dev->lock
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		&gadget->dev.mutex
HALF_LOCKED2		&gadget->udc->connect_lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&udc->connect_lock
TYPE_LOCK		(struct pch_udc_dev)->lock
TYPE_LOCK		(struct usb_udc)->connect_lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_probe() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->bar	1
PARAM_VALUE	0	dev->data_requests	4096-ptr_max
PARAM_VALUE	0	dev->data_requests->dev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->data_requests->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->data_requests->dev->cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->data_requests->dev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->data_requests->dev->dma_uses_io_tlb	1
PARAM_VALUE	0	dev->data_requests->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->data_requests->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->dma_addr	0-18446744073709551614
PARAM_VALUE	0	dev->ep->dev	0
PARAM_VALUE	0	dev->ep->ep.address	0
PARAM_VALUE	0	dev->ep->ep.caps.dir_in	0
PARAM_VALUE	0	dev->ep->ep.caps.dir_out	0
PARAM_VALUE	0	dev->ep->ep.caps.type_bulk	0
PARAM_VALUE	0	dev->ep->ep.caps.type_control	0
PARAM_VALUE	0	dev->ep->ep.caps.type_int	0
PARAM_VALUE	0	dev->ep->ep.caps.type_iso	0
PARAM_VALUE	0	dev->ep->ep.claimed	0
PARAM_VALUE	0	dev->ep->ep.comp_desc	0
PARAM_VALUE	0	dev->ep->ep.desc	0
PARAM_VALUE	0	dev->ep->ep.driver_data	0
PARAM_VALUE	0	dev->ep->ep.enabled	0
PARAM_VALUE	0	dev->ep->ep.ep_list.next	0
PARAM_VALUE	0	dev->ep->ep.ep_list.prev	0
PARAM_VALUE	0	dev->ep->ep.max_streams	0
PARAM_VALUE	0	dev->ep->ep.maxburst	0
PARAM_VALUE	0	dev->ep->ep.maxpacket	0
PARAM_VALUE	0	dev->ep->ep.maxpacket_limit	0
PARAM_VALUE	0	dev->ep->ep.mult	0
PARAM_VALUE	0	dev->ep->ep.name	0
PARAM_VALUE	0	dev->ep->ep.ops	0
PARAM_VALUE	0	dev->ep->epsts	0
PARAM_VALUE	0	dev->ep->halted	0
PARAM_VALUE	0	dev->ep->in	0
PARAM_VALUE	0	dev->ep->num	0
PARAM_VALUE	0	dev->ep->offset_addr	0
PARAM_VALUE	0	dev->ep->queue.next	0
PARAM_VALUE	0	dev->ep->queue.prev	0
PARAM_VALUE	0	dev->ep->td_data	0
PARAM_VALUE	0	dev->ep->td_data_phys	0
PARAM_VALUE	0	dev->ep->td_stp	0
PARAM_VALUE	0	dev->ep->td_stp_phys	0
PARAM_VALUE	0	dev->gadget.ep0	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep0->ep_list.next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep0->ep_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep0->ep_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep0->ep_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep0->ep_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep_list.next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->gadget.ep_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->gadget.max_speed	3
PARAM_VALUE	0	dev->gadget.name	3283356309865119744
PARAM_VALUE	0	dev->gadget.ops	5642821472732516352
PARAM_VALUE	0	dev->gadget.speed	0
PARAM_VALUE	0	dev->pdev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->pdev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	dev->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->pdev->driver	4096-ptr_max
PARAM_VALUE	0	dev->pdev->is_managed	1
PARAM_VALUE	0	dev->pdev->is_virtfn	0
PARAM_VALUE	0	dev->pdev->pcie_cap	0-1
PARAM_VALUE	0	dev->stp_requests	4096-ptr_max
PARAM_VALUE	0	dev->stp_requests->dev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->stp_requests->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->stp_requests->dev->cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->stp_requests->dev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->stp_requests->dev->dma_uses_io_tlb	1
PARAM_VALUE	0	dev->stp_requests->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->stp_requests->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->vbus_gpio.intr	0
PARAM_VALUE	0	dev->vbus_gpio.port	0,4096-ptr_max
BUF_SIZE	0	dev	7072
BUF_SIZE	0	dev->gadget.name	8
BUF_SIZE	0	dev->gadget.ops	136
BUF_SIZE	0	dev->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
DATA_SOURCE	0	dev	r devm_kzalloc
STR_LEN	0	dev->gadget.name	7
TERMINATED	0	dev->gadget.name	1
MEM_ZERO	0	dev
MEM_ZERO	0	dev->ep
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->pdev->current_state	0-3[c]

drivers/usb/gadget/udc/pch_udc.c pch_udc_shutdown() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte
LOCK2		&dev->mutex
HALF_LOCKED2		&parent->mutex
HALF_LOCKED2		global &system_transition_mutex
TYPE_LOCK		(struct device)->mutex

drivers/usb/gadget/udc/pch_udc.c pch_udc_stop() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->connected	0
PARAM_VALUE	0	dev->driver	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&udc->connect_lock
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		&g->dev.mutex
HALF_LOCKED2		&of->mutex
TYPE_LOCK		(struct usb_udc)->connect_lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_vbus_session() -> pch_udc_set_disconnect()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->driver	0,4096-ptr_max
DATA_SOURCE	0	dev	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		iflags
LOCK2	0	&dev->lock
HALF_LOCKED2		&fsm->lock
HALF_LOCKED2		&tu->serialize
TYPE_LOCK		(struct pch_udc_dev)->lock