Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 15 files:

Smatch caller information:

drivers/usb/serial/iuu_phoenix.c iuu_bulk_write() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->dev 4096-ptr_max
PARAM_VALUE 0 port->write_urb 4096-ptr_max
PARAM_VALUE 0 port->write_urb->complete 6883806565490008064
PARAM_VALUE 0 port->write_urb->context 4096-ptr_max
PARAM_VALUE 0 port->write_urb->dev 4096-ptr_max
PARAM_VALUE 0 port->write_urb->pipe 0,1073741824-u32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
CAPPED_DATA 0 port->write_urb 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 port->write_urb->num_mapped_sgs
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/garmin_gps.c garmin_write_bulk_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/quatech2.c qt2_write_bulk_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
LOCK2 &port_priv->urb_lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct qt2_port_private)->urb_lock

drivers/usb/serial/keyspan.c usa2x_outdat_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/cyberjack.c cyberjack_write_bulk_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 port->write_urb->num_mapped_sgs
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/cypress_m8.c cypress_send() -> usb_serial_port_softint()

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->interrupt_out_buffer 4096-ptr_max
PARAM_VALUE 0 port->interrupt_out_size 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 port->interrupt_out_urb 4096-ptr_max
PARAM_VALUE 0 port->interrupt_out_urb->complete 3814266376616095744
PARAM_VALUE 0 port->interrupt_out_urb->context 4096-ptr_max
PARAM_VALUE 0 port->interrupt_out_urb->dev 4096-ptr_max
PARAM_VALUE 0 port->interrupt_out_urb->pipe 0,1073741824-u32max
PARAM_VALUE 0 port->interrupt_out_urb->start_frame (-1)
PARAM_VALUE 0 port->interrupt_out_urb->transfer_buffer_length 0-1,2147483649-u32max
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->dev 4096-ptr_max
PARAM_VALUE 0 port->serial->interface->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *port->serial->dev->toggle 0-4294967295
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
CAPPED_DATA 0 port->interrupt_out_urb 1
CAPPED_DATA 0 port->interrupt_out_urb->transfer_buffer_length 1
DATA_SOURCE 0 port $0
FUZZY_MAX 0 port->interrupt_out_urb->transfer_buffer_length 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 port->port.tty->index 0-s16max[c]
NO_OVERFLOW_SIMPLE 0 port->interrupt_out_urb->num_mapped_sgs
UNITS 0 port unit_byte
HALF_LOCKED2 &serial->disc_mutex

drivers/usb/serial/keyspan_pda.c keyspan_pda_request_unthrottle() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->dev 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/serial/keyspan_pda.c keyspan_pda_rx_interrupt() -> usb_serial_port_softint()

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->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/keyspan_pda.c keyspan_pda_write_bulk_callback() -> usb_serial_port_softint()

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->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/usb_wwan.c usb_wwan_outdat_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->serial 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/oti6858.c send_data() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->serial 4096-ptr_max
PARAM_VALUE 0 port->serial->dev 4096-ptr_max
PARAM_VALUE 0 port->write_urb 4096-ptr_max
CAPPED_DATA 0 port->write_urb 1
BIT_INFO 0 port->write_urb->transfer_buffer_length 0x0,0x7fffffff
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 port->write_urb->num_mapped_sgs
HALF_LOCKED2 &pool->lock

drivers/usb/serial/generic.c usb_serial_generic_write_bulk_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->write_urbs 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/f81534.c f81534_submit_writer() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->bulk_out_buffers 4096-ptr_max
PARAM_VALUE 0 port->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 port->dev.driver_data->phy_num 0-255
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->write_urbs 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte

drivers/usb/serial/opticon.c opticon_write_control_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/sierra.c sierra_outdat_callback() -> usb_serial_port_softint()

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.runtime_status 0,2
PARAM_VALUE 0 port->serial->interface->dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock

drivers/usb/serial/ir-usb.c ir_write_bulk_callback() -> usb_serial_port_softint()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 port->dev.class 0,4096-ptr_max
PARAM_VALUE 0 port->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 port unit_byte
HALF_LOCKED2 &pool->lock