Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/bcm.c bcm_rx_cmp_to_index() -> bcm_rx_update_and_send()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bcm_rx_update_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 op->nframes 1-u32max
PARAM_VALUE 1 lastdata 4096-ptr_max
PARAM_VALUE 2 rxdata 4096-ptr_max
PARAM_VALUE 3 traffic_flags 0,16,48
BUF_SIZE 0 op 1-s32max
BUF_SIZE 0 op 1-s32max
BUF_SIZE 2 rxdata 1-s32max
BUF_SIZE 2 rxdata 1-s32max
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->timer.base 1
CAPPED_DATA 2 rxdata->can_id 1
DATA_SOURCE 0 op $0
DATA_SOURCE 2 rxdata $2
DATA_SOURCE 3 traffic_flags $3
FUZZY_MAX 0 op->nframes 2
FUZZY_MAX 3 traffic_flags 0
BIT_INFO 0 op->flags 0x0,0xffffffdf
BIT_INFO 1 lastdata->flags 0x0,0xbf
BIT_INFO 3 traffic_flags 0x0,0x30
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 rxdata->__res0 0-255[u]
USER_DATA 2 rxdata->__res1 0-255[u]
USER_DATA 2 rxdata->flags 0-255[u]
USER_DATA 2 rxdata->len 0-255[u]
UNITS 2 rxdata unit_byte
USER_PTR 2 rxdata
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &op->bcm_rx_update_lock
TYPE_LOCK (struct bcm_op)->bcm_rx_update_lock

net/can/bcm.c bcm_rx_cmp_to_index() -> bcm_rx_update_and_send()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bcm_rx_update_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 op->nframes 1-u32max
PARAM_VALUE 1 lastdata 4096-ptr_max
PARAM_VALUE 1 lastdata->flags 64-255
PARAM_VALUE 2 rxdata 4096-ptr_max
PARAM_VALUE 2 rxdata->len 1-255
PARAM_VALUE 3 traffic_flags 0,16,48
BUF_SIZE 0 op 1-s32max
BUF_SIZE 0 op 1-s32max
BUF_SIZE 2 rxdata 1-s32max
BUF_SIZE 2 rxdata 1-s32max
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->timer.base 1
CAPPED_DATA 2 rxdata->can_id 1
DATA_SOURCE 0 op $0
DATA_SOURCE 2 rxdata $2
DATA_SOURCE 3 traffic_flags $3
FUZZY_MAX 0 op->nframes 2
FUZZY_MAX 3 traffic_flags 0
BIT_INFO 0 op->flags 0x0,0xffffffdf
BIT_INFO 1 lastdata->flags 0x40,0xffffffffffffffff
BIT_INFO 3 traffic_flags 0x0,0x30
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 rxdata->__res0 0-255[u]
USER_DATA 2 rxdata->__res1 0-255[u]
USER_DATA 2 rxdata->flags 0-255[u]
USER_DATA 2 rxdata->len 1-255[u]
UNITS 2 rxdata unit_byte
USER_PTR 2 rxdata
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &op->bcm_rx_update_lock
TYPE_LOCK (struct bcm_op)->bcm_rx_update_lock

net/can/bcm.c bcm_rx_cmp_to_index() -> bcm_rx_update_and_send()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bcm_rx_update_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 op->flags 64-u32max
PARAM_VALUE 0 op->nframes 1-u32max
PARAM_VALUE 1 lastdata 4096-ptr_max
PARAM_VALUE 1 lastdata->flags 64-255
PARAM_VALUE 2 rxdata 4096-ptr_max
PARAM_VALUE 3 traffic_flags 0,16,48
BUF_SIZE 0 op 1-s32max
BUF_SIZE 0 op 1-s32max
BUF_SIZE 2 rxdata 1-s32max
BUF_SIZE 2 rxdata 1-s32max
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->timer.base 1
CAPPED_DATA 2 rxdata->can_id 1
CAPPED_DATA 2 rxdata->len 1
DATA_SOURCE 0 op $0
DATA_SOURCE 2 rxdata $2
DATA_SOURCE 3 traffic_flags $3
FUZZY_MAX 0 op->nframes 2
FUZZY_MAX 3 traffic_flags 0
PARAM_COMPARE 1 lastdata->len != $2->len
BIT_INFO 0 op->flags 0x40,0xffffffdf
BIT_INFO 1 lastdata->flags 0x40,0xffffffffffffffff
BIT_INFO 3 traffic_flags 0x0,0x30
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 rxdata->__res0 0-255[u]
USER_DATA 2 rxdata->__res1 0-255[u]
USER_DATA 2 rxdata->flags 0-255[u]
USER_DATA 2 rxdata->len 0-255[c]
UNITS 2 rxdata unit_byte
USER_PTR 2 rxdata
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &op->bcm_rx_update_lock
TYPE_LOCK (struct bcm_op)->bcm_rx_update_lock

net/can/bcm.c bcm_rx_handler() -> bcm_rx_update_and_send()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bcm_rx_update_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 op->flags 32-u32max
PARAM_VALUE 0 op->frames_abs.counter 0
PARAM_VALUE 0 op->frames_filtered.counter 0
PARAM_VALUE 2 rxdata 4096-ptr_max
PARAM_VALUE 3 traffic_flags 0,16,48
BUF_SIZE 0 op 560
BUF_SIZE 0 op 560
BUF_SIZE 1 lastdata 16,72
BUF_SIZE 2 rxdata 1-s32max
BUF_SIZE 2 rxdata 1-s32max
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->timer.base 1
CAPPED_DATA 0 &op->timer 1
CAPPED_DATA 2 rxdata->can_id 1
DATA_SOURCE 0 op $1
FUZZY_MAX 3 traffic_flags 0
PARAM_COMPARE 0 op->can_id == $2->can_id
PARAM_COMPARE 0 &op->timer != $0->timer.base->running
BIT_INFO 0 op->flags 0x20,0xffffffff
BIT_INFO 3 traffic_flags 0x0,0x30
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 op->rx_stamp 500000002-4294967299794967295[c]
USER_DATA 2 rxdata->__res0 0-255[u]
USER_DATA 2 rxdata->__res1 0-255[u]
USER_DATA 2 rxdata->flags 0-255[u]
USER_DATA 2 rxdata->len 0-255[u]
UNITS 2 rxdata unit_byte
USER_PTR 2 rxdata
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &op->bcm_rx_update_lock
TYPE_LOCK (struct bcm_op)->bcm_rx_update_lock