Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/netconsole.c enabled_store() -> netconsole_print_banner()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->state 0-1,3-u32max
DATA_SOURCE 0 nt r to_target
FUZZY_MAX 0 nt->state 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 global &dynamic_netconsole_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

drivers/net/netconsole.c netconsole_parser_cmdline() -> netconsole_print_banner()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->extended 1
PARAM_VALUE 0 nt->local_ip 0-255
PARAM_VALUE 0 nt->np.name 8901062170992873472
PARAM_VALUE 0 nt->release 1
PARAM_VALUE 0 nt->remote_ip 0-255
PARAM_VALUE 0 nt->state 0
BUF_SIZE 0 nt 2712
DATA_SOURCE 0 nt $0
TERMINATED 0 nt->np.name 1
NOCHECK_CALL
USER_DATA 0 nt->local_port 0-u16max
USER_DATA 0 nt->remote_port 0-u16max
NO_OVERFLOW_SIMPLE 0 nt->local_port
NO_OVERFLOW_SIMPLE 0 nt->remote_port