Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/wireless/michael-mic.c michael_mic() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 1 val 0-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mctx->l 0-u32max[c][u]
USER_DATA 0 mctx->r 0-u32max[c][u]
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 1 val 0-8388607
FUZZY_MAX 1 val 90
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mctx->l 0-u32max[c][u]
USER_DATA 0 mctx->r 0-u32max[c][u]
USER_DATA 1 val 0-8388607[u]
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 1 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mctx->l 0-u32max[c][u]
USER_DATA 0 mctx->r 0-u32max[c][u]
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic_hdr() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 0 mctx->r 0-255
DATA_SOURCE 0 mctx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic_hdr() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
DATA_SOURCE 0 mctx $0
BIT_INFO 1 val 0x0,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic_hdr() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 1 val 0-255
DATA_SOURCE 0 mctx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/wireless/michael-mic.c michael_mic_hdr() -> michael_block()

Type Parameter Key Value
PARAM_VALUE 0 mctx 8593850142534270976
PARAM_VALUE 1 val 0-15
DATA_SOURCE 0 mctx $0
FUZZY_MAX 1 val 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 val 0-15[c]
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &dp->dp_lock
HALF_LOCKED2 &ieee->lock
HALF_LOCKED2 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read