Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/tty_io.c release_one_tty() -> free_tty_struct()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->ctrl.pgrp 0,4096-ptr_max
PARAM_VALUE 0 tty->ctrl.session 0,4096-ptr_max
PARAM_VALUE 0 tty->driver 4096-ptr_max
PARAM_VALUE 0 tty->files_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tty->ops 4096-ptr_max
PARAM_VALUE 0 tty->ops->cleanup 0,4096-ptr_max
PARAM_VALUE 0 tty->tty_files.next->prev 4096-ptr_max
PARAM_VALUE 0 tty->tty_files.prev->next 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/tty/tty_io.c tty_init_dev() -> free_tty_struct()

Type Parameter Key Value
PARAM_VALUE 0 tty 4096-ptr_max
PARAM_VALUE 0 tty->atomic_write_lock.dep_map->name 0-255
PARAM_VALUE 0 tty->atomic_write_lock.first_waiter 0
PARAM_VALUE 0 tty->atomic_write_lock.magic 4096-ptr_max
PARAM_VALUE 0 tty->atomic_write_lock.osq.tail.counter 0
PARAM_VALUE 0 tty->atomic_write_lock.owner.counter 0
PARAM_VALUE 0 tty->ctrl.pgrp 0
PARAM_VALUE 0 tty->ctrl.session 0
PARAM_VALUE 0 tty->dev 0,4096-ptr_max
PARAM_VALUE 0 tty->driver 4096-ptr_max
PARAM_VALUE 0 tty->driver->owner 0,4096-ptr_max
PARAM_VALUE 0 tty->ldisc 4096-ptr_max
PARAM_VALUE 0 tty->ldisc->ops 4096-ptr_max
PARAM_VALUE 0 tty->ldisc->tty 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.count.counter 0
PARAM_VALUE 0 tty->ldisc_sem.dep_map->name 0-255
PARAM_VALUE 0 tty->ldisc_sem.read_wait.next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.read_wait.next->next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.read_wait.prev 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.read_wait.prev->next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.read_wait.prev->prev 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.wait_lock.magic 3735899821
PARAM_VALUE 0 tty->ldisc_sem.wait_lock.owner (-1)
PARAM_VALUE 0 tty->ldisc_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 0 tty->ldisc_sem.wait_readers 0
PARAM_VALUE 0 tty->ldisc_sem.write_wait.next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.write_wait.next->next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.write_wait.prev 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.write_wait.prev->next 4096-ptr_max
PARAM_VALUE 0 tty->ldisc_sem.write_wait.prev->prev 4096-ptr_max
PARAM_VALUE 0 tty->legacy_mutex.dep_map->name 0-255
PARAM_VALUE 0 tty->legacy_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 tty->legacy_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 tty->link 4096-ptr_max
PARAM_VALUE 0 tty->link->atomic_write_lock.magic 4096-ptr_max
PARAM_VALUE 0 tty->link->ctrl.pgrp 0
PARAM_VALUE 0 tty->link->ctrl.session 0
PARAM_VALUE 0 tty->link->dev 0
PARAM_VALUE 0 tty->link->driver 4096-ptr_max
PARAM_VALUE 0 tty->link->kref.refcount.refs.counter 1
PARAM_VALUE 0 tty->link->ldisc 4096-ptr_max
PARAM_VALUE 0 tty->link->ldisc_sem.count.counter 0
PARAM_VALUE 0 tty->link->ldisc_sem.read_wait.next 4096-ptr_max
PARAM_VALUE 0 tty->link->ldisc_sem.read_wait.prev 4096-ptr_max
PARAM_VALUE 0 tty->link->ldisc_sem.wait_readers 0
PARAM_VALUE 0 tty->link->ldisc_sem.write_wait.next 4096-ptr_max
PARAM_VALUE 0 tty->link->ldisc_sem.write_wait.prev 4096-ptr_max
PARAM_VALUE 0 tty->link->legacy_mutex.first_waiter 0
PARAM_VALUE 0 tty->link->legacy_mutex.magic 4096-ptr_max
PARAM_VALUE 0 tty->link->legacy_mutex.owner.counter 0
PARAM_VALUE 0 tty->link->read_wait.head.next 4096-ptr_max
PARAM_VALUE 0 tty->link->read_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 tty->link->termios_rwsem.count.counter 0
PARAM_VALUE 0 tty->link->termios_rwsem.first_waiter 0
PARAM_VALUE 0 tty->link->termios_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 tty->link->termios_rwsem.owner.counter 0
PARAM_VALUE 0 tty->link->throttle_mutex.first_waiter 0
PARAM_VALUE 0 tty->link->throttle_mutex.magic 4096-ptr_max
PARAM_VALUE 0 tty->link->throttle_mutex.owner.counter 0
PARAM_VALUE 0 tty->link->tty_files.next 4096-ptr_max
PARAM_VALUE 0 tty->link->tty_files.prev 4096-ptr_max
PARAM_VALUE 0 tty->link->winsize_mutex.first_waiter 0
PARAM_VALUE 0 tty->link->winsize_mutex.magic 4096-ptr_max
PARAM_VALUE 0 tty->link->winsize_mutex.owner.counter 0
PARAM_VALUE 0 tty->link->write_wait.head.next 4096-ptr_max
PARAM_VALUE 0 tty->link->write_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 tty->ops 4096-ptr_max
PARAM_VALUE 0 tty->ops->lookup 0,4096-ptr_max
PARAM_VALUE 0 tty->port 4096-ptr_max
PARAM_VALUE 0 tty->read_wait.head.next 4096-ptr_max
PARAM_VALUE 0 tty->read_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 tty->read_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 tty->read_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 tty->read_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 tty->termios.c_iflag 0,4-u32max
PARAM_VALUE 0 tty->termios.c_ospeed 4800,9600,38400,115200
PARAM_VALUE 0 tty->termios_locked.c_cflag 0
PARAM_VALUE 0 tty->termios_locked.c_iflag 0
PARAM_VALUE 0 tty->termios_locked.c_ispeed 0
PARAM_VALUE 0 tty->termios_locked.c_lflag 0
PARAM_VALUE 0 tty->termios_locked.c_line 0
PARAM_VALUE 0 tty->termios_locked.c_oflag 0
PARAM_VALUE 0 tty->termios_locked.c_ospeed 0
PARAM_VALUE 0 tty->termios_rwsem.count.counter 0
PARAM_VALUE 0 tty->termios_rwsem.dep_map->name 0-255
PARAM_VALUE 0 tty->termios_rwsem.first_waiter 0
PARAM_VALUE 0 tty->termios_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 tty->termios_rwsem.osq.tail.counter 0
PARAM_VALUE 0 tty->termios_rwsem.owner.counter 0
PARAM_VALUE 0 tty->throttle_mutex.dep_map->name 0-255
PARAM_VALUE 0 tty->throttle_mutex.first_waiter 0
PARAM_VALUE 0 tty->throttle_mutex.magic 4096-ptr_max
PARAM_VALUE 0 tty->throttle_mutex.osq.tail.counter 0
PARAM_VALUE 0 tty->throttle_mutex.owner.counter 0
PARAM_VALUE 0 tty->tty_files.next 4096-ptr_max
PARAM_VALUE 0 tty->tty_files.next->next 4096-ptr_max
PARAM_VALUE 0 tty->tty_files.prev 4096-ptr_max
PARAM_VALUE 0 tty->tty_files.prev->next 4096-ptr_max
PARAM_VALUE 0 tty->tty_files.prev->prev 4096-ptr_max
PARAM_VALUE 0 tty->winsize_mutex.dep_map->name 0-255
PARAM_VALUE 0 tty->winsize_mutex.first_waiter 0
PARAM_VALUE 0 tty->winsize_mutex.magic 4096-ptr_max
PARAM_VALUE 0 tty->winsize_mutex.osq.tail.counter 0
PARAM_VALUE 0 tty->winsize_mutex.owner.counter 0
PARAM_VALUE 0 tty->write_wait.head.next 4096-ptr_max
PARAM_VALUE 0 tty->write_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 tty->write_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 tty->write_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 tty->write_wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 tty 1816
DATA_SOURCE 0 tty r alloc_tty_struct
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &spk_mutex
HALF_LOCKED2 global &tty_mutex