Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/mos7720.c change_port_settings() -> set_higher_rates()

Type Parameter Key Value
PARAM_VALUE 0 mos7720_port 4096-ptr_max
PARAM_VALUE 0 mos7720_port->open 1-255
PARAM_VALUE 0 mos7720_port->port 4096-ptr_max
PARAM_VALUE 0 mos7720_port->shadowMCR 8,11,40,43
PARAM_VALUE 1 baud 230400-s32max
BUF_SIZE 0 mos7720_port s32min-(-2),1-s32max
BUF_SIZE 0 mos7720_port s32min-(-2),1-s32max
DATA_SOURCE 0 mos7720_port $1
DATA_SOURCE 1 baud r tty_get_baud_rate
BIT_INFO 0 mos7720_port->shadowMCR 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 baud 230400-s32max
UNITS 0 mos7720_port unit_byte
HALF_LOCKED2 &serial->disc_mutex
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 global &console_mutex