Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/libipw_rx.c libipw_frag_cache_get() -> libipw_frag_cache_find()

Type Parameter Key Value
PARAM_VALUE 0 ieee 4096-ptr_max
PARAM_VALUE 0 ieee->iw_mode s32min-5,7-s32max
PARAM_VALUE 1 seq 0-4095
PARAM_VALUE 2 frag 1-15
PARAM_VALUE 4 dst 4096-ptr_max
BUF_SIZE 3 src 6
BUF_SIZE 4 dst 6
DATA_SOURCE 0 ieee $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ieee->prev_seq_ctl 0-u16max[u]
USER_DATA 1 seq 0-4095[c]
USER_DATA 2 frag 1-15[c]
USER_DATA 3 *src 0-255
USER_DATA 4 *dst 0-255
USER_PTR 3 src
USER_PTR 4 dst
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->low_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/wireless/intel/ipw2x00/libipw_rx.c libipw_frag_cache_invalidate() -> libipw_frag_cache_find()

Type Parameter Key Value
PARAM_VALUE 0 ieee 4096-ptr_max
PARAM_VALUE 0 ieee->iw_mode s32min-5,7-s32max
PARAM_VALUE 1 seq 0-4095
PARAM_VALUE 2 frag u32max
PARAM_VALUE 4 dst 4096-ptr_max
BUF_SIZE 3 src 6
BUF_SIZE 4 dst 6
DATA_SOURCE 0 ieee $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ieee->prev_seq_ctl 0-u16max[u]
USER_DATA 1 seq 0-4095[c]
USER_DATA 3 *src 0-255
USER_DATA 4 *dst 0-255
USER_PTR 3 src
USER_PTR 4 dst
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->low_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags