Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/marvell/libertas/cmdresp.c lbs_process_event() -> lbs_send_mic_failureevent()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->resp_len 4096-ptr_max
PARAM_VALUE 0 priv->surpriseremoved 0
PARAM_VALUE 0 priv->waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 event 14
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 event $1
NOCHECK_CALL

drivers/net/wireless/marvell/libertas/cmdresp.c lbs_process_event() -> lbs_send_mic_failureevent()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->resp_len 4096-ptr_max
PARAM_VALUE 0 priv->surpriseremoved 0
PARAM_VALUE 0 priv->waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 event 13
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 event $1
NOCHECK_CALL