Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_core.c univ8250_console_match() -> serial8250_console_setup()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 5109488043324854272
PARAM_VALUE 0 port->cons->cflag s32min-0,16-s32max
PARAM_VALUE 0 port->cons->data 1624000111546744832
PARAM_VALUE 0 port->cons->device 6569512524207788032
PARAM_VALUE 0 port->cons->device_lock 0,5001291398587658240
PARAM_VALUE 0 port->cons->device_unlock 0,1985508210408071168
PARAM_VALUE 0 port->cons->dropped 0
PARAM_VALUE 0 port->cons->exit 7833501435485716480
PARAM_VALUE 0 port->cons->index 0
PARAM_VALUE 0 port->cons->irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 port->cons->irq_work.node.u_flags 0-s32max
PARAM_VALUE 0 port->cons->ispeed 0-s32max
PARAM_VALUE 0 port->cons->match 4421782094852718592
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.backlog 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.console 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.pbufs 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.prio 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.seq 0
PARAM_VALUE 0 port->cons->nbcon_prev_seq.counter (-1)-0
PARAM_VALUE 0 port->cons->nbcon_state.counter 0
PARAM_VALUE 0 port->cons->node.pprev 0,4096-ptr_max
PARAM_VALUE 0 port->cons->pbufs 0,4096-ptr_max
PARAM_VALUE 0 port->cons->rcuwait.task 0
PARAM_VALUE 0 port->cons->read 0
PARAM_VALUE 0 port->cons->setup 3517582552066240512
PARAM_VALUE 0 port->cons->unblank 0
PARAM_VALUE 0 port->cons->write 0,1136652718727315456
PARAM_VALUE 0 port->cons->write_atomic 0,5276083820952485888
PARAM_VALUE 0 port->cons->write_thread 0,994188457251672064
PARAM_VALUE 0 port->iotype 0,2-3,6-7
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *port->cons->device 6569512524207788032
PARAM_VALUE 1 options 0,4097-18446744073709547521
PARAM_VALUE 2 probe 1
BUF_SIZE 0 port 616
CAPPED_DATA 0 port->iotype 1
DATA_SOURCE 1 options $3 [m]
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 port->cons->cflag s32min-0,16-s32max
HOST_DATA 0 port->cons->dropped 0
HOST_DATA 0 port->cons->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 port->cons->irq_work.node.dst 0-u16max
HOST_DATA 0 port->cons->irq_work.node.src 0-u16max
HOST_DATA 0 port->cons->irq_work.node.u_flags 0-s32max
HOST_DATA 0 port->cons->ispeed 0-s32max
HOST_DATA 0 port->cons->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.backlog 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.prio 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.seq 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 port->cons->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 port->cons->nbcon_seq.counter s64min-s64max
HOST_DATA 0 port->cons->nbcon_state.counter 0
HOST_DATA 0 port->cons->ospeed 0-u32max
HOST_DATA 0 port->cons->seq 0-u64max
LOCK2 global &console_mutex
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq

drivers/tty/serial/8250/8250_core.c univ8250_console_setup() -> serial8250_console_setup()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 5109488043324854272
PARAM_VALUE 0 port->cons->cflag s32min-0,16-s32max
PARAM_VALUE 0 port->cons->data 1624000111546744832
PARAM_VALUE 0 port->cons->device 6569512524207788032
PARAM_VALUE 0 port->cons->device_lock 0,5001291398587658240
PARAM_VALUE 0 port->cons->device_unlock 0,1985508210408071168
PARAM_VALUE 0 port->cons->dropped 0
PARAM_VALUE 0 port->cons->exit 7833501435485716480
PARAM_VALUE 0 port->cons->index 0-3
PARAM_VALUE 0 port->cons->irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 port->cons->irq_work.node.u_flags 0-s32max
PARAM_VALUE 0 port->cons->ispeed 0-s32max
PARAM_VALUE 0 port->cons->match 4421782094852718592
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.backlog 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.console 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.pbufs 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.prio 0
PARAM_VALUE 0 port->cons->nbcon_device_ctxt.seq 0
PARAM_VALUE 0 port->cons->nbcon_prev_seq.counter (-1)-0
PARAM_VALUE 0 port->cons->nbcon_state.counter 0
PARAM_VALUE 0 port->cons->node.pprev 0,4096-ptr_max
PARAM_VALUE 0 port->cons->pbufs 0,4096-ptr_max
PARAM_VALUE 0 port->cons->rcuwait.task 0
PARAM_VALUE 0 port->cons->read 0
PARAM_VALUE 0 port->cons->setup 3517582552066240512
PARAM_VALUE 0 port->cons->unblank 0
PARAM_VALUE 0 port->cons->write 0,1136652718727315456
PARAM_VALUE 0 port->cons->write_atomic 0,5276083820952485888
PARAM_VALUE 0 port->cons->write_thread 0,994188457251672064
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *port->cons->device 6569512524207788032
PARAM_VALUE 2 probe 0
BUF_SIZE 0 port 616
BUF_SIZE 1 options (-1),8
BUF_SIZE 1 options (-1),8
DATA_SOURCE 1 options $1
STR_LEN 0 port (-1),7
STR_LEN 0 port->cons (-1)
STR_LEN 1 options (-1),7
NOSPEC 0 port->cons->index
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 port->cons->cflag s32min-0,16-s32max
HOST_DATA 0 port->cons->dropped 0
HOST_DATA 0 port->cons->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 port->cons->irq_work.node.dst 0-u16max
HOST_DATA 0 port->cons->irq_work.node.src 0-u16max
HOST_DATA 0 port->cons->irq_work.node.u_flags 0-s32max
HOST_DATA 0 port->cons->ispeed 0-s32max
HOST_DATA 0 port->cons->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.backlog 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.prio 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.seq 0
HOST_DATA 0 port->cons->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 port->cons->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 port->cons->nbcon_seq.counter s64min-s64max
HOST_DATA 0 port->cons->nbcon_state.counter 0
HOST_DATA 0 port->cons->ospeed 0-u32max
HOST_DATA 0 port->cons->seq 0-u64max
USER_DATA 0 port->cons->index 0-3[c]
LOCK2 global &console_mutex
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq