new_system_port_status identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/mmc/host/vub300.c, line 504 (as a function)

Referenced in 1 files:

drivers/mmc/host/vub300.c
- line 582
- line 607

Smatch caller information:

drivers/mmc/host/vub300.c __vub300_irqpoll_response() -> new_system_port_status()

Type	Parameter	Key	Value
PARAM_VALUE	0	vub300	4096-ptr_max
PARAM_VALUE	0	vub300->card_present	1
PARAM_VALUE	0	vub300->cmd	0
PARAM_VALUE	0	vub300->cmd_mutex.dep_map->name	0-255
PARAM_VALUE	0	vub300->cmd_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vub300->cmd_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vub300->cmd_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vub300->cmd_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	vub300->cmnd.poll.command_type	2
PARAM_VALUE	0	vub300->cmnd.poll.header_size	22
PARAM_VALUE	0	vub300->cmnd.poll.header_type	1
PARAM_VALUE	0	vub300->cmnd.poll.port_number	0
PARAM_VALUE	0	vub300->command_out_urb	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->complete	4326898238991933440
PARAM_VALUE	0	vub300->command_out_urb->context	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->dev	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->ep	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->ep->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->ep->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->ep->urb_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->hcpriv	0,4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->interval	s32min-32768
PARAM_VALUE	0	vub300->command_out_urb->num_mapped_sgs	0-s32max
PARAM_VALUE	0	vub300->command_out_urb->pipe	0,1073741824-u32max
PARAM_VALUE	0	vub300->command_out_urb->status	(-4095)-0
PARAM_VALUE	0	vub300->command_out_urb->transfer_buffer->_refcount.counter	s32min-s32max
PARAM_VALUE	0	vub300->command_out_urb->transfer_buffer->bDeviceProtocol	1
PARAM_VALUE	0	vub300->command_out_urb->transfer_buffer->bmAttributes	0-255
PARAM_VALUE	0	vub300->command_out_urb->transfer_buffer->page_type	0-4294967295
PARAM_VALUE	0	vub300->command_out_urb->transfer_buffer_length	64
PARAM_VALUE	0	vub300->command_out_urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->urb_list.next->prev	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vub300->command_out_urb->urb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vub300->command_res_urb	4096-ptr_max
PARAM_VALUE	0	vub300->command_res_urb->actual_length	1-u32max
PARAM_VALUE	0	vub300->inactivity_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	vub300->inactivity_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	vub300->interface	1-u64max
PARAM_VALUE	0	vub300->irq_enabled	1
PARAM_VALUE	0	vub300->irq_mutex.dep_map->name	0-255
PARAM_VALUE	0	vub300->irq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	vub300->irq_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vub300->irq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vub300->irq_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vub300->irqpoll_complete.done	0-4294967293,u32max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	vub300->irqpoll_complete.wait.lock.owner	(-1)
PARAM_VALUE	0	vub300->irqpoll_complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	vub300->irqpoll_complete.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	vub300->irqs_queued	0
PARAM_VALUE	0	vub300->resp.common.header_type	3
PARAM_VALUE	0	vub300->udev	4096-ptr_max
PARAM_VALUE	0	vub300->udev->state	4-u32max
PARAM_VALUE	0	vub300->usb_transport_fail	0
CAPPED_DATA	0	vub300->command_out_urb	1
DATA_SOURCE	0	vub300	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vub300->command_out_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE	0	vub300->command_out_urb->transfer_buffer_length
LOCK2	0	&vub300->cmd_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct vub300_mmc_host)->cmd_mutex

drivers/mmc/host/vub300.c check_vub300_port_status() -> new_system_port_status()

Type	Parameter	Key	Value
PARAM_VALUE	0	vub300	4096-ptr_max
PARAM_VALUE	0	vub300->cmd	0
PARAM_VALUE	0	vub300->cmd_mutex.dep_map->name	0-255
PARAM_VALUE	0	vub300->cmd_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vub300->cmd_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vub300->cmd_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	vub300->cmd_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	vub300->interface	1-u64max
PARAM_VALUE	0	vub300->udev	4096-ptr_max
DATA_SOURCE	0	vub300	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vub300->command_out_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE	0	vub300->command_out_urb->transfer_buffer_length
NO_OVERFLOW_SIMPLE	0	vub300->command_res_urb->transfer_buffer_length
NO_OVERFLOW_SIMPLE	0	vub300->urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE	0	vub300->urb->transfer_buffer_length
LOCK2	0	&vub300->cmd_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct vub300_mmc_host)->cmd_mutex