Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->map_reg 4096-ptr_max
PARAM_VALUE 0 priv->rx_int 0,4096-u64max
PARAM_VALUE 0 priv->tef->tail 0-4294967310
PARAM_VALUE 0 priv->tx 4096-ptr_max
PARAM_VALUE 0 priv->tx->obj_num_shift_to_u8 0-9,233-255
PARAM_VALUE 0 *priv->map_reg->cache->data 0-4294967295
PARAM_VALUE 1 tef_tail 2987123147663896576
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock