Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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_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
CAPPED_DATA 0 vc 1
CAPPED_DATA 0 *vc->vc_display_fg 1
NOCHECK_CALL
LOCK2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->vc_display_fg 4096-ptr_max
PARAM_VALUE 0 vc->vc_sw 1-u64max
PARAM_VALUE 0 *vc->vc_display_fg 4096-ptr_max
CAPPED_DATA 0 vc 1
CAPPED_DATA 0 *vc->vc_display_fg 1
PARAM_COMPARE 0 *vc->vc_display_fg == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 vc 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
RX_PATH
NOCHECK_CALL
LOCK2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
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
LOCK2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
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