Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/vt/vt.c con_init() -> csi_J()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| 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_display_fg | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_need_wrap | 0 |
| 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_tab_stop | 4096-ptr_max |
| PARAM_VALUE | 0 | *vc->vc_display_fg | 4096-ptr_max |
| PARAM_VALUE | 0 | *vc->vc_palette | 0-255 |
| PARAM_VALUE | 1 | vpar | 0 |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | *vc->vc_display_fg | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &console_sem |
drivers/tty/vt/vt.c csi_ECMA() -> csi_J()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_bell_duration | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_size_row | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_state | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| PARAM_VALUE | 0 | vc->vc_par | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_priv | 0 |
| 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->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 |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->vc_pos | 4096-u64max |
| USER_DATA | 0 | vc->vc_utf_char | s32min-s32max[c] |
| 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 do_con_trol() -> csi_J()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| 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->owner | 0 |
| PARAM_VALUE | 0 | vc->vc_video_erase_char | 69,325-65349 |
| PARAM_VALUE | 0 | *vc->vc_par | 0-4294967295 |
| PARAM_VALUE | 1 | vpar | 2 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $1 |
| BIT_INFO | 0 | vc->vc_video_erase_char | 0x45,0xff45 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->vc_pos | 4096-u64max |
| USER_DATA | 0 | vc->vc_utf_char | s32min-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vc->saved_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 enter_alt_screen() -> csi_J()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| PARAM_VALUE | 0 | vc->vc_par | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_priv | 1 |
| PARAM_VALUE | 0 | vc->vc_saved_screen | 1-u64max |
| 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_uni_lines | 0 |
| PARAM_VALUE | 0 | *vc->vc_par | 0-4294967295 |
| PARAM_VALUE | 1 | vpar | 3 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc->vc_saved_screen | s32min-s32max |
| BUF_SIZE | 0 | vc->vc_saved_uni_lines | 1-s32max |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $0 |
| 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->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 reset_terminal() -> csi_J()
| 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->saved_state.blink | 0 |
| PARAM_VALUE | 0 | vc->saved_state.charset | 0 |
| PARAM_VALUE | 0 | vc->saved_state.intensity | 1 |
| PARAM_VALUE | 0 | vc->saved_state.italic | 0 |
| PARAM_VALUE | 0 | vc->saved_state.reverse | 0 |
| PARAM_VALUE | 0 | vc->saved_state.underline | 0 |
| PARAM_VALUE | 0 | vc->state.Gx_charset | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->state.blink | 0 |
| PARAM_VALUE | 0 | vc->state.charset | 0 |
| PARAM_VALUE | 0 | vc->state.intensity | 1 |
| PARAM_VALUE | 0 | vc->state.italic | 0 |
| PARAM_VALUE | 0 | vc->state.reverse | 0 |
| PARAM_VALUE | 0 | vc->state.underline | 0 |
| PARAM_VALUE | 0 | vc->vc_bell_duration | 31 |
| PARAM_VALUE | 0 | vc->vc_bell_pitch | 750 |
| PARAM_VALUE | 0 | vc->vc_bracketed_paste | 0 |
| PARAM_VALUE | 0 | vc->vc_cur_blink_ms | 200 |
| PARAM_VALUE | 0 | vc->vc_decawm | 1 |
| PARAM_VALUE | 0 | vc->vc_decim | 0 |
| PARAM_VALUE | 0 | vc->vc_decom | 0 |
| PARAM_VALUE | 0 | vc->vc_decscnm | 0 |
| PARAM_VALUE | 0 | vc->vc_disp_ctrl | 0 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_bell_duration | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_size_row | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_display_fg->vc_state | 0-4294967295 |
| PARAM_VALUE | 0 | vc->vc_need_wrap | 0 |
| PARAM_VALUE | 0 | vc->vc_num | 0-62 |
| PARAM_VALUE | 0 | vc->vc_priv | 0 |
| PARAM_VALUE | 0 | vc->vc_report_mouse | 0 |
| PARAM_VALUE | 0 | vc->vc_saved_screen | 0 |
| PARAM_VALUE | 0 | vc->vc_state | 0 |
| PARAM_VALUE | 0 | vc->vc_sw | 4096-ptr_max |
| 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,4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_tab_stop | 4096-ptr_max |
| PARAM_VALUE | 0 | vc->vc_toggle_meta | 0 |
| PARAM_VALUE | 0 | vc->vc_top | 0 |
| PARAM_VALUE | 0 | vc->vc_utf_count | 0 |
| PARAM_VALUE | 0 | vc->vc_video_erase_char | 32,288-65312 |
| PARAM_VALUE | 0 | *vc->vc_par | 0-4294967295 |
| PARAM_VALUE | 1 | vpar | 2 |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vc->port.ops | (-1),40 |
| BUF_SIZE | 0 | vc->vc_screenbuf | (-1)-s32max |
| BUF_SIZE | 0 | vc->vc_translate | 512 |
| CAPPED_DATA | 0 | vc | 1 |
| CAPPED_DATA | 0 | vc->vc_num | 1 |
| DATA_SOURCE | 0 | vc | $0 |
| NOSPEC | 0 | vc->vc_num | |
| MEM_ZERO | 0 | vc->vc_tab_stop | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vc->vc_num | 1-62[c] |
| USER_DATA | 0 | vc->vc_pos | 0-u64max[c] |
| USER_DATA | 0 | vc->vc_utf_char | s32min-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vc->saved_state.y | |
| UNITS | 0 | vc | unit_byte |
| LOCK2 | global &console_sem |