Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/net/netconsole.c netconsole_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/8250/8250_port.c __serial8250_console_byte_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
DATA_SOURCE 0 wctxt $1
NOCHECK_CALL

drivers/tty/serial/8250/8250_port.c __serial8250_console_fifo_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
DATA_SOURCE 0 wctxt $1
NOCHECK_CALL

drivers/tty/serial/8250/8250_port.c serial8250_console_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 1-u64max
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/8250/8250_port.c serial8250_console_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 0
PARAM_VALUE 0 wctxt->outbuf 0
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/8250/8250_port.c serial8250_console_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 0
PARAM_VALUE 0 wctxt->outbuf 0
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/8250/8250_port.c serial8250_console_write() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 0
PARAM_VALUE 0 wctxt->outbuf 0
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/8250/8250_port.c serial8250_fifo_wait_for_lsr_thre() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
DATA_SOURCE 0 wctxt $1
RX_PATH
NOCHECK_CALL

drivers/tty/serial/imx.c imx_uart_console_write_atomic() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 1-u64max
BUF_SIZE 0 wctxt->ctxt.console (-1),128
CAPPED_DATA 0 wctxt->len 1
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/imx.c imx_uart_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/imx.c imx_uart_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/imx.c imx_uart_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->outbuf 0,4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/sifive.c sifive_serial_console_write_atomic() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 1-u64max
BUF_SIZE 0 wctxt->ctxt.console (-1),128
CAPPED_DATA 0 wctxt->len 1
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/sifive.c sifive_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/sifive.c sifive_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/sifive.c sifive_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->outbuf 0,4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_console_write_atomic() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-s32max
PARAM_VALUE 0 wctxt->outbuf 1-u64max
BUF_SIZE 0 wctxt->ctxt.console (-1),128
CAPPED_DATA 0 wctxt->len 1
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
CAPPED_DATA 0 wctxt->len 1
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock

drivers/tty/serial/tegra-utc.c tegra_utc_console_write_atomic() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576,8778102393939857408
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 0,4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 1-u64max
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/tty/serial/tegra-utc.c tegra_utc_console_write_thread() -> nbcon_exit_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 wctxt 724933713938776064,1760537648933195776,2012200170693144576
PARAM_VALUE 0 wctxt->cpu 0-s32max
PARAM_VALUE 0 wctxt->ctxt.console 4096-ptr_max
PARAM_VALUE 0 wctxt->ctxt.prio 0-3
PARAM_VALUE 0 wctxt->ctxt.seq 0
PARAM_VALUE 0 wctxt->len 1-u32max
PARAM_VALUE 0 wctxt->outbuf 4096-ptr_max
PARAM_VALUE 0 *wctxt->comm 0-255
BUF_SIZE 0 wctxt->ctxt.console (-1),128
DATA_SOURCE 0 wctxt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &up->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &target_list_lock