Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

lib/crc/crc32-main.c crc32c_arch() -> crc32c_base()

Type Parameter Key Value
DATA_SOURCE 0 crc $0
DATA_SOURCE 1 p $1
DATA_SOURCE 2 len $2
STR_LEN 0 crc (-1)-1010101
PARAM_COMPARE 1 p == $2
NOSPEC 2 len
NOSPEC 2 len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 len 0-s32max,u32max[c]
USER_DATA 1 *p 0-255
USER_DATA 2 len 0-u64max
UNITS 0 crc unit_byte
UNITS 1 p unit_byte
UNITS 2 len unit_byte
BYTE_COUNT 1 ==p2 8050
USER_PTR 1 p
HALF_LOCKED2 &aw88395->lock
HALF_LOCKED2 &bat_priv->tt.commit_lock
HALF_LOCKED2 &cache->writeback_lock
HALF_LOCKED2 &caching_ctl->mutex
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &edev->qede_lock
HALF_LOCKED2 &fs_info->commit_root_sem
HALF_LOCKED2 &log->io_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &orig_node->tt_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &qp->state_lock
HALF_LOCKED2 &queue->send_mutex
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read