Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/stm32-usart.c stm32_usart_interrupt() -> stm32_usart_rx_dma_started()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
DATA_SOURCE 0 stm32_port r to_stm32_port
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/tty/serial/stm32-usart.c stm32_usart_interrupt() -> stm32_usart_rx_dma_started()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
PARAM_VALUE 0 stm32_port->rx_ch 0,4096-u64max
DATA_SOURCE 0 stm32_port r to_stm32_port
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/tty/serial/stm32-usart.c stm32_usart_interrupt() -> stm32_usart_rx_dma_started()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
PARAM_VALUE 0 stm32_port->rx_ch 0,4096-u64max
DATA_SOURCE 0 stm32_port r to_stm32_port
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/tty/serial/stm32-usart.c stm32_usart_pending_rx_pio() -> stm32_usart_rx_dma_started()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
DATA_SOURCE 0 stm32_port r to_stm32_port
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &port->lock
HALF_LOCKED2 flags

drivers/tty/serial/stm32-usart.c stm32_usart_receive_chars() -> stm32_usart_rx_dma_started()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
DATA_SOURCE 0 stm32_port r to_stm32_port
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &port->lock
HALF_LOCKED2 flags

drivers/tty/serial/stm32-usart.c stm32_usart_dma_pause_resume() -> stm32_usart_dma_pause_resume param 4()

Type Parameter Key Value
PARAM_VALUE 0 stm32_port 4096-ptr_max
PARAM_VALUE 0 stm32_port->gpios 0,4096-u64max
PARAM_VALUE 0 stm32_port->gpios->mctrl_on 0-1
PARAM_VALUE 0 stm32_port->rx_ch 0,4096-u64max
DATA_SOURCE 0 stm32_port $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &port->lock
HALF_LOCKED2 flags