Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_port.c tty_port_tty_wakeup() -> (struct tty_port_client_operations)->write_wakeup()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->client_ops 4096-ptr_max
DATA_SOURCE 0 port $0
CONTAINER 0 -16-336+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dc->spin_mutex
HALF_LOCKED2 &gsm->tx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 &state->uart_port->lock
HALF_LOCKED2 flags