Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/can/spi/mcp251xfd/mcp251xfd-tef.c mcp251xfd_check_tef_tail() -> mcp251xfd_get_tef_tail()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tef->tail 0-4294967310
PARAM_VALUE 0 priv->tx 4096-ptr_max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/net/can/spi/mcp251xfd/mcp251xfd-tef.c mcp251xfd_get_tef_len() -> mcp251xfd_get_tef_tail()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tx 4096-ptr_max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/net/can/spi/mcp251xfd/mcp251xfd-tef.c mcp251xfd_get_tef_linear_len() -> mcp251xfd_get_tef_tail()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tx 4096-ptr_max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/net/can/spi/mcp251xfd/mcp251xfd-tef.c mcp251xfd_handle_tefif() -> mcp251xfd_get_tef_tail()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tx 4096-ptr_max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/net/can/spi/mcp251xfd/mcp251xfd-tef.c mcp251xfd_handle_tefif_one() -> mcp251xfd_get_tef_tail()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tef 4096-ptr_max
PARAM_VALUE 0 priv->tef->tail 0-4294967310
PARAM_VALUE 0 priv->tx 4096-ptr_max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock