Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 1 bits 32
DATA_SOURCE 0 up $0
STR_LEN 0 up (-1),1
STR_LEN 0 up (-1),1
RX_PATH
TASK_NOT_RUNNING

drivers/tty/serial/8250/8250_port.c wait_for_xmitr() -> wait_for_lsr()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 0 up->port.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 bits 32,96
DATA_SOURCE 0 up $0
DATA_SOURCE 1 bits $1
HARD_MAX 1 bits 96
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 up->msr_saved_flags 0-255[c]
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock

drivers/tty/serial/8250/8250_port.c wait_for_xmitr() -> wait_for_lsr()

Type Parameter Key Value
PARAM_VALUE 0 up 4096-ptr_max
PARAM_VALUE 0 up->canary 0
PARAM_VALUE 0 up->port.cons 4096-ptr_max
PARAM_VALUE 0 up->port.cons_flow 1
PARAM_VALUE 0 up->port.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 up->port.frame_time 1-u32max
PARAM_VALUE 0 up->port.line 0-s16max,4294934528-u32max
PARAM_VALUE 0 up->port.serial_in 4096-ptr_max
PARAM_VALUE 1 bits 32,96
CAPPED_DATA 0 up->port.cons->index 1
CAPPED_DATA 0 up->port.line 1
CAPPED_DATA 1 bits 1
DATA_SOURCE 0 up $0
DATA_SOURCE 1 bits $1
PARAM_COMPARE 0 up->port.cons->index == $0->port.line
HARD_MAX 1 bits 96
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 up->lsr_saved_flags 0-u16max
HOST_DATA 0 up->msr_saved_flags 0-255[c]
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock