Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_atm_dev_close() -> usbatm_put_instance()

Type Parameter Key Value
PARAM_VALUE 0 instance 1-u64max
BUF_SIZE 0 instance 128,1128-s32max
BUF_SIZE 0 instance 128,1128-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

drivers/usb/atm/usbatm.c usbatm_usb_disconnect() -> usbatm_put_instance()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->atm_dev 0
PARAM_VALUE 0 instance->disconnected 1
PARAM_VALUE 0 instance->driver 4096-ptr_max
PARAM_VALUE 0 instance->driver->atm_stop 0,940024792780886016
PARAM_VALUE 0 instance->driver->unbind 666980904055783424,3212344686661402624,3541923163243532288,6835298273605140480
PARAM_VALUE 0 instance->driver_data 0
PARAM_VALUE 0 instance->rx_channel.delay.entry.pprev 0
PARAM_VALUE 0 instance->rx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->rx_channel.delay.function 0
PARAM_VALUE 0 instance->rx_channel.list.next 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.list.next->next 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.list.prev 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 instance->serialize.dep_map->name 0-255
PARAM_VALUE 0 instance->serialize.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 instance->serialize.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 instance->serialize.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 instance->serialize.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 instance->serialize.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 instance->serialize.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 instance->serialize.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 instance->serialize.osq.tail.counter 0-s32max
PARAM_VALUE 0 instance->serialize.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 instance->thread->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 0 instance->thread->signal->flags 0,2-u32max
PARAM_VALUE 0 instance->thread_exited.done 0-4294967293,u32max
PARAM_VALUE 0 instance->thread_exited.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 instance->thread_exited.wait.lock.owner (-1)
PARAM_VALUE 0 instance->thread_exited.wait.lock.owner_cpu u32max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->thread_exited.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.delay.entry.pprev 0
PARAM_VALUE 0 instance->tx_channel.delay.flags 0-4194302
PARAM_VALUE 0 instance->tx_channel.delay.function 0
PARAM_VALUE 0 instance->tx_channel.list.next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.list.next->next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.list.prev 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.list.prev->next 4096-ptr_max
PARAM_VALUE 0 instance->tx_channel.list.prev->prev 4096-ptr_max
BUF_SIZE 0 instance s32min-(-2),1-s32max
BUF_SIZE 0 instance s32min-(-2),1-s32max
CAPPED_DATA 0 instance 1
CAPPED_DATA 0 instance->cell_buf 1
CAPPED_DATA 0 instance->thread 1
CAPPED_DATA 0 &instance->rx_channel.delay 1
CAPPED_DATA 0 &instance->serialize 1
CAPPED_DATA 0 &instance->tx_channel.delay 1
CAPPED_DATA 0 &instance->vcc_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 instance unit_byte
HALF_LOCKED2 global &uea_mutex