Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 skb 1-u64max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/net/can/spi/mcp251xfd/mcp251xfd-core.c mcp251xfd_alloc_can_err_skb() -> mcp251xfd_skb_set_timestamp_raw()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r alloc_can_err_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/can/spi/mcp251xfd/mcp251xfd-core.c mcp251xfd_handle_ivmif() -> mcp251xfd_skb_set_timestamp_raw()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 0 priv->map_reg->wr_table->n_no_ranges 1
CAPPED_DATA 0 priv->map_reg->wr_table->n_yes_ranges 1
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r alloc_can_err_skb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq