Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/tty/serial/serial_core.c uart_port_set_cons() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 0 up->cons 0,4096-ptr_max
PARAM_VALUE 0 up->cons->index s16min-(-2),0-s16max
PARAM_VALUE 0 up->cons->node.pprev 1-u64max
PARAM_VALUE 0 up->dev 4096-ptr_max
PARAM_VALUE 0 up->flags 0,1073741824-u64max
PARAM_VALUE 0 up->line 0-4294967294
PARAM_VALUE 0 up->name 1-u64max
PARAM_VALUE 0 up->port_dev 4096-ptr_max
PARAM_VALUE 0 up->port_dev->port 4096-ptr_max
PARAM_VALUE 0 up->port_id 0-s32max
PARAM_VALUE 0 up->state 4096-ptr_max
PARAM_VALUE 0 up->state->refcount.counter 1
PARAM_VALUE 0 up->state->remove_wait.head.next 4096-ptr_max
PARAM_VALUE 0 up->state->remove_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 up->state->uart_port 4096-ptr_max
PARAM_VALUE 0 up->tty_groups 4096-ptr_max
PARAM_VALUE 1 flags 6366570217039515648
BUF_SIZE 0 up->name 0-s32max
BUF_SIZE 0 up->ops (-1),216
BUF_SIZE 0 up->private_data (-1),1-s32max
BUF_SIZE 0 up->tty_groups 24
CAPPED_DATA 0 up->cons->index 1
CAPPED_DATA 0 up->line 1
CAPPED_DATA 0 up->name 1
DATA_SOURCE 0 up $0
CONSTRAINT 0 up <474
BIT_INFO 0 up->flags 0x40000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 up->iobase
NO_OVERFLOW_SIMPLE 0 up->mapbase
NO_OVERFLOW_SIMPLE 0 up->port_id
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock

drivers/tty/serial/imx.c imx_uart_console_device_lock() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 1 flags 2743596156688007168,3069568786865057792,8755054524289085440
BUF_SIZE 0 up 616
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_mutex

drivers/tty/serial/sifive.c sifive_serial_device_lock() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 1 flags 2743596156688007168,3069568786865057792,8755054524289085440
BUF_SIZE 0 up 616
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_mutex

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_console_device_lock() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 0 up->flags 0,268435456
PARAM_VALUE 0 up->iotype 0,2
PARAM_VALUE 0 up->line 0-s32max
PARAM_VALUE 0 up->ops 0,754089923021512704
PARAM_VALUE 1 flags 2743596156688007168,3069568786865057792,8755054524289085440
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_mutex

drivers/tty/serial/8250/8250_core.c uart_port_set_cons() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 0 up->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 flags 7759958493438984192
BUF_SIZE 0 up 616
DATA_SOURCE 0 up $0
STR_LEN 0 up (-1),7
STR_LEN 0 up (-1),7
STR_LEN 0 up->cons (-1)
NOSPEC 0 up->cons->index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 up->cons->cflag s32min-0,16-s32max
HOST_DATA 0 up->cons->dropped 0
HOST_DATA 0 up->cons->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 up->cons->irq_work.node.dst 0-u16max
HOST_DATA 0 up->cons->irq_work.node.src 0-u16max
HOST_DATA 0 up->cons->irq_work.node.u_flags 0-s32max
HOST_DATA 0 up->cons->ispeed 0-s32max
HOST_DATA 0 up->cons->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 up->cons->nbcon_device_ctxt.backlog 0
HOST_DATA 0 up->cons->nbcon_device_ctxt.prio 0
HOST_DATA 0 up->cons->nbcon_device_ctxt.seq 0
HOST_DATA 0 up->cons->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 up->cons->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 up->cons->nbcon_seq.counter s64min-s64max
HOST_DATA 0 up->cons->nbcon_state.counter 0
HOST_DATA 0 up->cons->ospeed 0-u32max
HOST_DATA 0 up->cons->seq 0-u64max
USER_DATA 0 up->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 &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_device_lock() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 1 flags 2743596156688007168,3069568786865057792,8755054524289085440
BUF_SIZE 0 up 616
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_mutex

drivers/tty/serial/tegra-utc.c tegra_utc_console_device_lock() -> __uart_port_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 1 flags 2743596156688007168,3069568786865057792,8755054524289085440
BUF_SIZE 0 up 616
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_mutex