set_origin identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

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

Referenced in 1 files:

drivers/tty/vt/vt.c

Smatch caller information:

drivers/tty/vt/vt.c con_init() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc->paste_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	vc->paste_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vc->paste_wait.head.prev->prev	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->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.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_mutex.dep_map->name	0-255
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.delta_msr_wait.head.next->next	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.open_wait.head.next->next	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->vc_sw->con_save_screen	0,3862440749289635840
PARAM_VALUE	0	vc->vc_tab_stop	4096-ptr_max
PARAM_VALUE	0	*vc->vc_palette	0-255
NOCHECK_CALL
LOCK2		global &console_sem

drivers/tty/vt/vt.c do_bind_con_driver() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->uni_pagedict	0
PARAM_VALUE	0	vc->uni_pagedict_loc	4096-ptr_max
PARAM_VALUE	0	vc->vc_cell_height	0-32
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_s_complement_mask	1-u16max
PARAM_VALUE	0	vc->vc_scan_lines	0
PARAM_VALUE	0	vc->vc_screenbuf_size	0
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->owner	0,4096-ptr_max
CAPPED_DATA	0	vc	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->state.y
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		global &console_sem

drivers/tty/vt/vt.c do_blank_screen() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->state.x	0-255
PARAM_VALUE	0	vc->state.y	0-255
PARAM_VALUE	0	vc->vc_sw	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_cursor	4096-ptr_max
CAPPED_DATA	0	vc	1
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->state.y
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->vc_top
LOCK2		global &console_sem

drivers/tty/vt/vt.c do_blank_screen() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->state.x	0-255
PARAM_VALUE	0	vc->state.y	0-255
PARAM_VALUE	0	vc->vc_mode	0
PARAM_VALUE	0	vc->vc_sw	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_cursor	4096-ptr_max
CAPPED_DATA	0	vc	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->state.y
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->vc_top
LOCK2		global &console_sem

drivers/tty/vt/vt.c flush_scrollback() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
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->vc_num	0-62
PARAM_VALUE	0	vc->vc_par	4096-ptr_max
PARAM_VALUE	0	vc->vc_priv	0-1
PARAM_VALUE	0	vc->vc_state	0
PARAM_VALUE	0	vc->vc_sw->con_cursor	0,4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_putc	0,4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_save_screen	0,3862440749289635840
PARAM_VALUE	0	vc->vc_sw->owner	0
PARAM_VALUE	0	*vc->vc_par	0-4294967295
BUF_SIZE	0	vc	s32min-(-2),1-s32max
BUF_SIZE	0	vc	s32min-(-2),1-s32max
BUF_SIZE	0	vc->vc_saved_uni_lines	(-1),1-s32max
CAPPED_DATA	0	vc	1
CAPPED_DATA	0	vc->vc_num	1
DATA_SOURCE	0	vc	$0
HARD_MAX	0	vc->vc_priv	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vc->vc_pos	0-u64max
USER_DATA	0	vc->vc_utf_char	s32min-s32max[c]
NO_OVERFLOW_SIMPLE	0	vc->saved_state.y
NO_OVERFLOW_SIMPLE	0	vc->state.y
UNITS	0	vc	unit_byte
LOCK2		global &console_sem
HALF_LOCKED2		&tty->atomic_write_lock
HALF_LOCKED2		&tty->ldisc_sem
HALF_LOCKED2		&tty->legacy_mutex
HALF_LOCKED2		&tty->port->buf.lock
HALF_LOCKED2		&tty->termios_rwsem
HALF_LOCKED2		_T->lock

drivers/tty/vt/vt.c redraw_screen() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
PARAM_VALUE	0	vc->state.x	0-255
PARAM_VALUE	0	vc->state.y	0-255
PARAM_VALUE	0	vc->vc_display_fg	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw	4096-ptr_max
PARAM_VALUE	0	vc->vc_sw->con_cursor	4096-ptr_max
CAPPED_DATA	0	vc	1
PARAM_COMPARE	0	*vc->vc_display_fg	!= $0
RX_PATH
NOCHECK_CALL
LOCK2		global &console_sem

drivers/tty/vt/vt.c redraw_screen() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
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->vc_sw->con_cursor	0,2262095336489177088,7744497563205775360,8980835342980177920
PARAM_VALUE	0	vc->vc_sw->con_font_default	0,34709136848670720
PARAM_VALUE	0	vc->vc_sw->con_font_set	0,6513082583136550912,7559972568136503296
PARAM_VALUE	0	vc->vc_sw->con_putc	0,1033982696061583360
PARAM_VALUE	0	vc->vc_sw->con_save_screen	0,3862440749289635840
PARAM_VALUE	0	vc->vc_sw->owner	0,4096-ptr_max
BUF_SIZE	0	vc	s32min-(-1),1-s32max
BUF_SIZE	0	vc	s32min-(-1),1-s32max
BUF_SIZE	0	vc->port.ops	(-1),40
BUF_SIZE	0	vc->uni_pagedict_loc	(-1),8
BUF_SIZE	0	vc->vc_display_fg	(-1),8
BUF_SIZE	0	vc->vc_font.data	(-1),256-524288
BUF_SIZE	0	vc->vc_screenbuf	(-1)-s32max
DATA_SOURCE	0	vc	$0
NOSPEC	0	vc->vc_cell_height
NOSPEC	0	vc->vc_cols
NOSPEC	0	vc->vc_font.height
NOSPEC	0	vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vc->vc_bottom	1-s16max
USER_DATA	0	vc->vc_cell_height	1-32[c]
USER_DATA	0	vc->vc_cols	1-s16max[c]
USER_DATA	0	vc->vc_font.height	2-128[c]
USER_DATA	0	vc->vc_font.width	1-64[c]
USER_DATA	0	vc->vc_num	1-62[c]
USER_DATA	0	vc->vc_pos	0-u64max[c]
USER_DATA	0	vc->vc_rows	1-s16max
USER_DATA	0	vc->vc_scan_lines	1-u16max
USER_DATA	0	vc->vc_size_row	2-65534[c]
NO_OVERFLOW_SIMPLE	0	vc->saved_state.y
NO_OVERFLOW_SIMPLE	0	vc->state.y
NO_OVERFLOW_SIMPLE	0	vc->vc_top
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->saved_state.y
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->state.y
NO_OVERFLOW_SIMPLE	0	*vc->vc_display_fg->vc_top
UNITS	0	vc	unit_byte
HALF_LOCKED2		global &console_sem

drivers/tty/vt/vt.c vc_do_resize() -> set_origin()

Type	Parameter	Key	Value
PARAM_VALUE	0	vc	4096-ptr_max
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->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_font_default	0,34709136848670720
PARAM_VALUE	0	vc->vc_sw->con_font_set	0,6513082583136550912,7559972568136503296
PARAM_VALUE	0	vc->vc_sw->owner	0,4096-ptr_max
PARAM_VALUE	0	vc->vc_video_erase_char	32,288-65312
BUF_SIZE	0	vc	s32min-(-1),1-s32max
BUF_SIZE	0	vc	s32min-(-1),1-s32max
BUF_SIZE	0	vc->port.ops	(-1),40
BUF_SIZE	0	vc->uni_pagedict_loc	(-1),8
BUF_SIZE	0	vc->vc_display_fg	(-1),8
BUF_SIZE	0	vc->vc_font.data	(-1),256-524288
BUF_SIZE	0	vc->vc_screenbuf	0-u32max
CAPPED_DATA	0	vc	1
CAPPED_DATA	0	vc->state.y	1
CAPPED_DATA	0	vc->vc_cols	1
DATA_SOURCE	0	vc	$1
BIT_INFO	0	vc->vc_size_row	0x0,0xfffffffe
NOSPEC	0	vc->vc_cell_height
NOSPEC	0	vc->vc_font.height
NOSPEC	0	vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vc->vc_cell_height	1-32[c]
USER_DATA	0	vc->vc_cols	1-s16max[c]
USER_DATA	0	vc->vc_font.height	2-128[c]
USER_DATA	0	vc->vc_font.width	1-64[c]
USER_DATA	0	vc->vc_num	1-62[c]
USER_DATA	0	vc->vc_rows	1-s16max
USER_DATA	0	vc->vc_scan_lines	1-u16max
USER_DATA	0	vc->vc_size_row	2-65534[c]
UNITS	0	vc	unit_byte
HALF_LOCKED2		global &console_sem

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

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
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
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