Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/netfilter/ebt_among.c ebt_among_mt_check() -> wormhash_sizes_valid()

Type Parameter Key Value
PARAM_VALUE 0 wh 0,4096-ptr_max
PARAM_VALUE 0 wh->poolsize 0-178956969
PARAM_VALUE 1 a 0,12-2147483646
PARAM_VALUE 2 b 12-s32max
CAPPED_DATA 1 a 1
CAPPED_DATA 2 b 1
PARAM_COMPARE 0 wh < $2
PARAM_COMPARE 1 a < $2
PARAM_COMPARE 1 a <= $0
PARAM_COMPARE 2 b > $0
PARAM_COMPARE 2 b > $1
HARD_MAX 0 wh->poolsize 178956969
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 wh->poolsize 0-178956969[u]
USER_DATA 1 a 0,12-2147483646[c]
USER_DATA 2 b 12-s32max[c]
USER_PTR 0 wh

net/bridge/netfilter/ebt_among.c ebt_among_mt_check() -> wormhash_sizes_valid()

Type Parameter Key Value
PARAM_VALUE 0 wh 0,4096-ptr_max
PARAM_VALUE 0 wh->poolsize 0-178956969
PARAM_VALUE 1 a 0,12-s32max
PARAM_VALUE 2 b 0,12-s32max
CAPPED_DATA 1 a 1
CAPPED_DATA 2 b 1
PARAM_COMPARE 0 wh <= $2
PARAM_COMPARE 1 a <= $0
PARAM_COMPARE 1 a <= $2
PARAM_COMPARE 2 b >= $0
PARAM_COMPARE 2 b >= $1
HARD_MAX 0 wh->poolsize 178956969
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 wh->poolsize 0-178956969[u]
USER_DATA 1 a 0,12-s32max[c]
USER_DATA 2 b 0,12-s32max[c]
USER_PTR 0 wh