Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/digi_acceleport.c digi_close() -> digi_write_oob_command()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 port->dev.driver_data->dp_out_buf_len 0
PARAM_VALUE 0 port->dev.driver_data->dp_port_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->dev.driver_data->dp_transmit_idle 0
PARAM_VALUE 0 port->dev.driver_data->dp_write_urb_in_use 1
PARAM_VALUE 0 port->read_urb 0,4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 port->serial->disc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 port->serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 port->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 port->serial->disconnected 0
PARAM_VALUE 0 port->serial->type 4096-ptr_max
PARAM_VALUE 0 port->serial->type->close 4096-ptr_max
PARAM_VALUE 0 port->write_urb 4096-ptr_max
PARAM_VALUE 0 port->write_urb->ep 4096-ptr_max
PARAM_VALUE 0 port->write_urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 0 port->write_urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 port->write_urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 port->write_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 port->write_urb->interval s32min-32768
PARAM_VALUE 0 port->write_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 port->write_urb->status (-4095)-0
PARAM_VALUE 0 port->write_urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 0 port->write_urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 0 port->write_urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 port->write_urb->urb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 port->write_urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 port->write_urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 20
PARAM_VALUE 3 interruptible 0
BUF_SIZE 1 buf 32
CAPPED_DATA 0 port->read_urb 1
CAPPED_DATA 0 port->write_urb 1
CAPPED_DATA 0 &port->serial->disc_mutex 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 port->write_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 port->write_urb->transfer_buffer_length
LOCK2 _T->lock
LOCK2 0 &port->serial->disc_mutex
HALF_LOCKED2 &tty->legacy_mutex
TYPE_LOCK (struct tty_struct)->legacy_mutex
TYPE_LOCK (struct usb_serial)->disc_mutex

drivers/usb/serial/digi_acceleport.c digi_open() -> digi_write_oob_command()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 port->serial->disc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 port->serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 port->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 port->serial->disc_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 port->serial->disconnected 0
PARAM_VALUE 0 port->serial->interface 4096-ptr_max
PARAM_VALUE 0 port->serial->interface->dev.power.request 0-4
PARAM_VALUE 0 port->serial->interface->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 port->serial->interface->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->serial->type 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 8
PARAM_VALUE 3 interruptible 1
BUF_SIZE 1 buf 32
DATA_SOURCE 0 port $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 port->port.tty->index 0-s16max[c]
USER_DATA 0 port->port.tty->termios.c_ispeed 0-u32max
USER_DATA 0 port->port.tty->termios.c_ospeed 0-u32max
LOCK2 &serial->disc_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_mutex

drivers/usb/serial/digi_acceleport.c digi_set_termios() -> digi_write_oob_command()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->interface->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->serial->type 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 0,4-32
PARAM_VALUE 3 interruptible 1
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 1 buf 32
DATA_SOURCE 0 port $1
FUZZY_MAX 2 count 4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 port->dev.driver_data->dp_modem_signals 0-4294967295[c][u]
USER_DATA 0 port->port.tty->index 0-s16max[c]
USER_DATA 0 port->port.tty->termios.c_ispeed 0-u32max
USER_DATA 0 port->port.tty->termios.c_ospeed 0-u32max
HALF_LOCKED2 &serial->disc_mutex
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_mutex