Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_buffer.c tty_buffer_restart_work() -> tty_buffer_queue_work()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tty->legacy_mutex

drivers/tty/tty_buffer.c tty_buffer_unlock_exclusive() -> tty_buffer_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->head 4096-ptr_max
PARAM_VALUE 0 buf->lock.dep_map->name 0-255
PARAM_VALUE 0 buf->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 buf->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 buf->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 buf->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 buf->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 buf->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 buf->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 buf->lock.wait_lock.owner (-1)
PARAM_VALUE 0 buf->lock.wait_lock.owner_cpu u32max
BUF_SIZE 0 buf 312
CAPPED_DATA 0 &buf->lock 1
PARAM_COMPARE 0 buf->head->commit != $0->head->read
NOCHECK_CALL
LOCK2 &tty->ldisc_sem
HALF_LOCKED2 &port->buf.lock
HALF_LOCKED2 &vc->port.buf.lock
TYPE_LOCK (struct tty_struct)->ldisc_sem

drivers/tty/tty_buffer.c tty_flip_buffer_push() -> tty_buffer_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->tail 4096-ptr_max
BUF_SIZE 0 buf 312
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &brd->bd_intr_lock
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &edge_serial->es_lock
HALF_LOCKED2 &icom_port->uart_port.lock
HALF_LOCKED2 &ltq_port->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 &port->slock
HALF_LOCKED2 &priv->dp_port_lock
HALF_LOCKED2 &priv->port.lock
HALF_LOCKED2 &s->lock
HALF_LOCKED2 &s->port.lock
HALF_LOCKED2 &serial->serial_lock
HALF_LOCKED2 &sport->port.lock
HALF_LOCKED2 &ssp->port.lock
HALF_LOCKED2 &tup->port.lock
HALF_LOCKED2 &uart->port.lock
HALF_LOCKED2 &up->lock
HALF_LOCKED2 &up->port.lock
HALF_LOCKED2 &uport->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &kbd_event_lock
HALF_LOCKED2 global &moxa_lock
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 lock_flags
HALF_LOCKED2 rcu_read

drivers/tty/tty_buffer.c tty_insert_flip_string_and_push_buffer() -> tty_buffer_queue_work()

Type Parameter Key Value
BUF_SIZE 0 buf 312
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ap->xmit_lock
HALF_LOCKED2 &component->io_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &elm->lock
HALF_LOCKED2 &gsm->tx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sl->lock
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &spk_mutex