Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/qlogic/qlcnic/qlcnic_sysfs.c qlcnic_sysfs_read_crb() -> qlcnic_read_crb()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->flags 32-u32max
PARAM_VALUE 1 buf 1-u64max
PARAM_VALUE 2 offset s64min-(-1),75497472-75499519,100663296-s64max
PARAM_VALUE 3 size 4,8
BUF_SIZE 0 adapter s32min-(-2),1-s32max
BUF_SIZE 0 adapter s32min-(-2),1-s32max
CAPPED_DATA 3 size 1
CAPPED_DATA 3 size 1
DATA_SOURCE 1 buf $3
DATA_SOURCE 2 offset $4
DATA_SOURCE 3 size $5
PARAM_COMPARE 1 buf == $3
BIT_INFO 3 size 0x0,0x7fffffffffffffff
NOSPEC 2 offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 size 4,8[c]
UNITS 0 adapter unit_byte
BYTE_COUNT 1 ==buf3 8050
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex