Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/vt.c vc_allocate() -> visual_deinit()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->port.blocked_open 0
PARAM_VALUE 0 vc->port.buf.flip_wq 0
PARAM_VALUE 0 vc->port.buf.free.first 0
PARAM_VALUE 0 vc->port.buf.head 256
PARAM_VALUE 0 vc->port.buf.head->commit 0
PARAM_VALUE 0 vc->port.buf.head->flags 1
PARAM_VALUE 0 vc->port.buf.head->lookahead 0
PARAM_VALUE 0 vc->port.buf.head->next 0
PARAM_VALUE 0 vc->port.buf.head->read 0
PARAM_VALUE 0 vc->port.buf.head->size 0
PARAM_VALUE 0 vc->port.buf.head->used 0
PARAM_VALUE 0 vc->port.buf.lock.dep_map->name 0-255
PARAM_VALUE 0 vc->port.buf.lock.first_waiter 0
PARAM_VALUE 0 vc->port.buf.lock.magic 4096-ptr_max
PARAM_VALUE 0 vc->port.buf.lock.osq.tail.counter 0
PARAM_VALUE 0 vc->port.buf.lock.owner.counter 0
PARAM_VALUE 0 vc->port.buf.mem_limit 655360
PARAM_VALUE 0 vc->port.buf.mem_used.counter 0
PARAM_VALUE 0 vc->port.buf.priority.counter 0
PARAM_VALUE 0 vc->port.buf.sentinel.commit 0
PARAM_VALUE 0 vc->port.buf.sentinel.flags 1
PARAM_VALUE 0 vc->port.buf.sentinel.free.next 0
PARAM_VALUE 0 vc->port.buf.sentinel.lookahead 0
PARAM_VALUE 0 vc->port.buf.sentinel.next 0
PARAM_VALUE 0 vc->port.buf.sentinel.read 0
PARAM_VALUE 0 vc->port.buf.sentinel.size 0
PARAM_VALUE 0 vc->port.buf.sentinel.used 0
PARAM_VALUE 0 vc->port.buf.tail 256
PARAM_VALUE 0 vc->port.buf.tail->commit 0
PARAM_VALUE 0 vc->port.buf.tail->flags 1
PARAM_VALUE 0 vc->port.buf.tail->lookahead 0
PARAM_VALUE 0 vc->port.buf.tail->next 0
PARAM_VALUE 0 vc->port.buf.tail->read 0
PARAM_VALUE 0 vc->port.buf.tail->size 0
PARAM_VALUE 0 vc->port.buf.tail->used 0
PARAM_VALUE 0 vc->port.buf.work.func 0
PARAM_VALUE 0 vc->port.buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 vc->port.buf_mutex.first_waiter 0
PARAM_VALUE 0 vc->port.buf_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vc->port.buf_mutex.osq.tail.counter 0
PARAM_VALUE 0 vc->port.buf_mutex.owner.counter 0
PARAM_VALUE 0 vc->port.client_data 0
PARAM_VALUE 0 vc->port.client_ops 6331571049099714560
PARAM_VALUE 0 vc->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 vc->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 vc->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
PARAM_VALUE 0 vc->port.close_delay 125
PARAM_VALUE 0 vc->port.closing_wait 7500
PARAM_VALUE 0 vc->port.console 0
PARAM_VALUE 0 vc->port.count 0
PARAM_VALUE 0 vc->port.delta_msr_wait.head.next 4096-ptr_max
PARAM_VALUE 0 vc->port.delta_msr_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 vc->port.delta_msr_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 vc->port.delta_msr_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vc->port.delta_msr_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vc->port.drain_delay 0
PARAM_VALUE 0 vc->port.flags 0
PARAM_VALUE 0 vc->port.iflags 0
PARAM_VALUE 0 vc->port.itty 0
PARAM_VALUE 0 vc->port.kref.refcount.refs.counter 1
PARAM_VALUE 0 vc->port.open_wait.head.next 4096-ptr_max
PARAM_VALUE 0 vc->port.open_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 vc->port.open_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 vc->port.open_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vc->port.open_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vc->port.ops 6498879344088170496
PARAM_VALUE 0 vc->port.tty 0
PARAM_VALUE 0 vc->port.xmit_buf 0
PARAM_VALUE 0 vc->port.xmit_fifo.const_type 0
PARAM_VALUE 0 vc->port.xmit_fifo.kfifo.data 0
PARAM_VALUE 0 vc->port.xmit_fifo.kfifo.esize 0
PARAM_VALUE 0 vc->port.xmit_fifo.kfifo.in 0
PARAM_VALUE 0 vc->port.xmit_fifo.kfifo.mask 0
PARAM_VALUE 0 vc->port.xmit_fifo.kfifo.out 0
PARAM_VALUE 0 vc->port.xmit_fifo.ptr 0
PARAM_VALUE 0 vc->port.xmit_fifo.ptr_const 0
PARAM_VALUE 0 vc->port.xmit_fifo.rectype 0
PARAM_VALUE 0 vc->port.xmit_fifo.type 0
PARAM_VALUE 0 vc->uni_pagedict_loc 4096-ptr_max
BUF_SIZE 0 vc 1520
BUF_SIZE 0 vc->port.ops 40
BUF_SIZE 0 vc->vc_screenbuf 1-4194304,u64max
DATA_SOURCE 0 vc r _kzalloc_noprof
MEM_ZERO 0 &vc->port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_sem
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 global &system_transition_mutex

drivers/tty/vt/vt.c vc_deallocate() -> visual_deinit()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &console_sem