Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/usb-serial.c usb_serial_disconnect() -> release_sibling()

Type Parameter Key Value
PARAM_VALUE 0 serial 4096-ptr_max
PARAM_VALUE 0 serial->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 serial->disc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 serial->disc_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 serial->disc_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 serial->disc_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 serial->disc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 serial->disc_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 serial->disc_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 serial->disconnected 1
PARAM_VALUE 0 serial->interface->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 serial->private->pp->bus_dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 serial->private->pp->bus_dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 serial->private->pp->bus_dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 serial->private->pp->bus_dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 serial->private->pp->bus_dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 serial->private->pp->bus_dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 serial->private->pp->bus_dev.driver_data->callback 0,6667066348596736000
PARAM_VALUE 0 serial->private->pp->bus_dev.fwnode->secondary->secondary (-19)
PARAM_VALUE 0 serial->private->pp->bus_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 serial->private->pp->bus_dev.parent->kobj.release.work.function 1626621062881370112
PARAM_VALUE 0 serial->private->pp->bus_dev.power.qos->freq.max_freq.type 2
PARAM_VALUE 0 serial->private->pp->ops->byte_read_data 3839495212641443840
PARAM_VALUE 0 serial->private->pp->ops->compat_write_data 6954861524989005824
PARAM_VALUE 0 serial->private->pp->ops->data_forward 4271038605400473600
PARAM_VALUE 0 serial->private->pp->ops->data_reverse 4271038605400473600
PARAM_VALUE 0 serial->private->pp->ops->disable_irq 4271038605400473600
PARAM_VALUE 0 serial->private->pp->ops->ecp_read_data 3839495212641443840
PARAM_VALUE 0 serial->private->pp->ops->ecp_write_addr 6954861524989005824
PARAM_VALUE 0 serial->private->pp->ops->ecp_write_data 6954861524989005824
PARAM_VALUE 0 serial->private->pp->ops->enable_irq 4271038605400473600
PARAM_VALUE 0 serial->private->pp->ops->epp_read_addr 3839495212641443840
PARAM_VALUE 0 serial->private->pp->ops->epp_read_data 3839495212641443840
PARAM_VALUE 0 serial->private->pp->ops->epp_write_addr 6954861524989005824
PARAM_VALUE 0 serial->private->pp->ops->epp_write_data 6954861524989005824
PARAM_VALUE 0 serial->private->pp->ops->frob_control 2594742093338152960
PARAM_VALUE 0 serial->private->pp->ops->init_state 1750080936980180992
PARAM_VALUE 0 serial->private->pp->ops->nibble_read_data 3839495212641443840
PARAM_VALUE 0 serial->private->pp->ops->read_control 1151291683072143360
PARAM_VALUE 0 serial->private->pp->ops->read_data 1151291683072143360
PARAM_VALUE 0 serial->private->pp->ops->read_status 1151291683072143360
PARAM_VALUE 0 serial->private->pp->ops->restore_state 1711932600425148416
PARAM_VALUE 0 serial->private->pp->ops->save_state 1711932600425148416
PARAM_VALUE 0 serial->private->pp->ops->write_control 4003813635370708992
PARAM_VALUE 0 serial->private->pp->ops->write_data 4003813635370708992
PARAM_VALUE 0 serial->private->syncmsg_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 serial->type 4096-ptr_max
PARAM_VALUE 0 serial->type->disconnect 0,1915311784982847488,2693852668785184768,3042692761166929920,4674612498736562176,4945769766057140224
PARAM_VALUE 1 intf 4096-ptr_max
BUF_SIZE 0 serial s32min-(-2),1-s32max
BUF_SIZE 0 serial s32min-(-2),1-s32max
CAPPED_DATA 0 serial 1
CAPPED_DATA 0 serial->num_ports 1
CAPPED_DATA 0 &serial->disc_mutex 1
DATA_SOURCE 1 intf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 serial unit_byte

drivers/usb/serial/usb-serial.c usb_serial_probe() -> release_sibling()

Type Parameter Key Value
PARAM_VALUE 0 serial 4096-ptr_max
PARAM_VALUE 0 serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 serial->disc_mutex.first_waiter 0
PARAM_VALUE 0 serial->disc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 serial->disc_mutex.osq.tail.counter 0
PARAM_VALUE 0 serial->disc_mutex.owner.counter 0
PARAM_VALUE 0 serial->interface 4096-ptr_max
PARAM_VALUE 0 serial->kref.refcount.refs.counter 1
PARAM_VALUE 0 serial->minors_reserved 0
PARAM_VALUE 0 serial->num_ports 0-255
PARAM_VALUE 0 serial->sibling->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 serial->type 4096-ptr_max
PARAM_VALUE 0 serial->type->driver.owner 0,4096-ptr_max
PARAM_VALUE 0 serial->type->num_ports 0-4,8
PARAM_VALUE 0 serial->type->read_int_callback 0,4096-ptr_max
PARAM_VALUE 0 serial->type->write_int_callback 0,3559368790082265088,3814266376616095744
PARAM_VALUE 0 *serial->dev->toggle 0-4294967295
PARAM_VALUE 1 intf 4096-ptr_max
PARAM_VALUE 1 intf->authorized 1
PARAM_VALUE 1 intf->condition 1
PARAM_VALUE 1 intf->cur_altsetting 4096-ptr_max
PARAM_VALUE 1 intf->needs_altsetting0 0
PARAM_VALUE 1 intf->needs_binding 0
BUF_SIZE 0 serial 344
CAPPED_DATA 0 serial->interface 1
DATA_SOURCE 0 serial r create_serial
DATA_SOURCE 1 intf $0
FUZZY_MAX 0 serial->num_ports 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL