Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/netfilter/ebtables.c translate_table() -> ebt_check_entry()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 net 4096-ptr_max
PARAM_VALUE 2 newinfo 4096-ptr_max
PARAM_VALUE 2 newinfo->chainstack 1-u64max
PARAM_VALUE 2 newinfo->entries 1-u64max
PARAM_VALUE 2 newinfo->entries_size 1-s32max
PARAM_VALUE 2 newinfo->hook_entry 4096-ptr_max
PARAM_VALUE 2 newinfo->nentries 0-s32max
PARAM_VALUE 4 cnt 6297570263937990656
PARAM_VALUE 5 cl_s 1-u64max
BUF_SIZE 2 newinfo 128-s32max
BUF_SIZE 2 newinfo 128-s32max
BUF_SIZE 2 newinfo->chainstack 8
BUF_SIZE 2 newinfo->entries 0-s32max
BUF_SIZE 3 name 32
BUF_SIZE 3 name 32
BUF_SIZE 5 cl_s 32
CAPPED_DATA 2 newinfo->entries 1
CAPPED_DATA 2 newinfo->entries_size 1
CAPPED_DATA 2 newinfo->nentries 1
CAPPED_DATA 6 udc_cnt 1
DATA_SOURCE 1 net $0
DATA_SOURCE 2 newinfo $2
DATA_SOURCE 3 name $1
DATA_SOURCE 5 cl_s r vmalloc_array_noprof
STR_LEN 0 e (-1),8
STR_LEN 1 net (-1),8
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e->bitmask 0-u32max[u]
USER_DATA 0 e->ethproto 0-u16max[u]
USER_DATA 0 e->invflags 0-u32max[u]
USER_DATA 0 e->next_offset 0-u32max[u]
USER_DATA 0 e->offsets.next_offset 0-u32max[u]
USER_DATA 0 e->offsets.target_offset 0-u32max[u]
USER_DATA 0 e->offsets.watchers_offset 0-u32max[u]
USER_DATA 0 e->target_offset 0-u32max[u]
USER_DATA 0 e->watchers_offset 0-u32max[u]
USER_DATA 2 newinfo->entries_size 1-s32max[c]
USER_DATA 2 *newinfo->entries 0-255
USER_DATA 3 *name 0-255
NO_OVERFLOW_SIMPLE 6 udc_cnt
UNITS 0 e unit_byte
UNITS 1 net unit_byte
UNITS 6 udc_cnt unit_array_size
USER_PTR 0 e
USER_PTR 2 newinfo->entries
USER_PTR 3 name