Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_port.c tty_port_destroy() -> tty_buffer_free_all()

Type Parameter Key Value
PARAM_VALUE 0 port->buf.work.lockdep_map->name 0-255
DATA_SOURCE 0 port $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->blocked_open 0
HOST_DATA 0 port->buf.lock.osq.tail.counter 0
HOST_DATA 0 port->buf.lock.owner.counter 0
HOST_DATA 0 port->buf.mem_limit 655360
HOST_DATA 0 port->buf.mem_used.counter 0
HOST_DATA 0 port->buf.priority.counter 0
HOST_DATA 0 port->buf.sentinel.commit 0
HOST_DATA 0 port->buf.sentinel.flags 1
HOST_DATA 0 port->buf.sentinel.lookahead 0
HOST_DATA 0 port->buf.sentinel.read 0
HOST_DATA 0 port->buf.sentinel.size 0
HOST_DATA 0 port->buf.sentinel.used 0
HOST_DATA 0 port->buf.work.data.counter 0
HOST_DATA 0 port->buf_mutex.osq.tail.counter 0
HOST_DATA 0 port->buf_mutex.owner.counter 0
HOST_DATA 0 port->close_delay 125
HOST_DATA 0 port->closing_wait 7500
HOST_DATA 0 port->console 0
HOST_DATA 0 port->count 0
HOST_DATA 0 port->drain_delay 0
HOST_DATA 0 port->flags 0
HOST_DATA 0 port->iflags 0
HOST_DATA 0 port->kref.refcount.refs.counter 1
HOST_DATA 0 port->xmit_fifo.kfifo.esize 0
HOST_DATA 0 port->xmit_fifo.kfifo.in 0
HOST_DATA 0 port->xmit_fifo.kfifo.mask 0
HOST_DATA 0 port->xmit_fifo.kfifo.out 0
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &goldfish_tty_lock