reset_vc identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/vt_kern.h, line 125 (as a prototype)

Defined in 1 files as a function:

drivers/tty/vt/vt_ioctl.c, line 967 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/tty/vt/vt_ioctl.c change_console() -> reset_vc()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->vt_mode.mode	1
PARAM_VALUE	0	vc->vt_newvt	0-u16max
PARAM_VALUE	0	vc->vt_pid	0,4096-ptr_max
NOCHECK_CALL
LOCK2		global &console_sem
HALF_LOCKED2		&pool->lock

drivers/tty/vt/vt_ioctl.c complete_change_console() -> reset_vc()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->owner	0
PARAM_VALUE	0	vc->vt_mode.mode	1
PARAM_VALUE	0	vc->vt_pid	0,4096-ptr_max
CAPPED_DATA	0	vc	1
DATA_SOURCE	0	vc	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->saved_state.y
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->state.y
LOCK2		global &console_sem

drivers/tty/vt/vt_ioctl.c vc_SAK() -> reset_vc()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->port.tty	0,4096-ptr_max
PARAM_VALUE	0	vc->port.tty->ctrl.session	0,4096-ptr_max
PARAM_VALUE	0	vc->port.tty->ldisc_sem.dep_map->name	0-255
PARAM_VALUE	0	vc->port.tty->ops	4096-ptr_max
PARAM_VALUE	0	vc->port.tty->port	4096-ptr_max
PARAM_VALUE	0	vc->port.tty->port->buf.lock.dep_map->name	0-255
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	vc->port.tty->port->buf.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	vc->port.tty->port->buf.lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	vc->port.tty->port->buf.work.entry.next	4096-ptr_max
NOCHECK_CALL
LOCK2		global &console_sem
HALF_LOCKED2		&pool->lock

drivers/tty/vt/vt.c vc_init() -> reset_vc()

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	4096-ptr_max
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->free.next	0
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	4096-ptr_max
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->free.next	0
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	0,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	0
PARAM_VALUE	0	vc->uni_pagedict_loc	4096-ptr_max
PARAM_VALUE	0	vc->vc_complement_mask	1-u16max
PARAM_VALUE	0	vc->vc_cur_blink_ms	200
PARAM_VALUE	0	vc->vc_display_fg	3273774230749237248
PARAM_VALUE	0	vc->vc_hi_font_mask	0,256,2048
PARAM_VALUE	0	vc->vc_num	0-62
PARAM_VALUE	0	vc->vc_s_complement_mask	1-u16max
PARAM_VALUE	0	vc->vc_screenbuf	16,4096-ptr_max
PARAM_VALUE	0	vc->vc_size_row	0,2-4294967294
PARAM_VALUE	0	vc->vc_sw	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_save_screen	0,3862440749289635840
PARAM_VALUE	0	vc->vc_sw->owner	0,4096-ptr_max
PARAM_VALUE	0	*vc->vc_display_fg	4096-ptr_max
BUF_SIZE	0	vc	1520
BUF_SIZE	0	vc->port.ops	(-1),40
BUF_SIZE	0	vc->vc_screenbuf	(-1)-s32max
CAPPED_DATA	0	vc	1
CAPPED_DATA	0	*vc->vc_display_fg	1
DATA_SOURCE	0	vc	$0
NOSPEC	0	vc->vc_num
MEM_ZERO	0	&vc->port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vc->vc_num	1-62[c]
NO_OVERFLOW_SIMPLE	0	vc->saved_state.y
LOCK2		global &console_sem