Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/netfilter/ebtables.c do_replace_finish() -> ebt_verify_pointers()

Type Parameter Key Value
PARAM_VALUE 0 repl 2762977917985148928,8044520370297659392
PARAM_VALUE 0 repl->entries_size 0-s32max
PARAM_VALUE 0 repl->nentries 0-s32max
PARAM_VALUE 1 newinfo 4096-ptr_max
PARAM_VALUE 1 newinfo->entries 1-u64max
BUF_SIZE 1 newinfo 128-s32max
BUF_SIZE 1 newinfo 128-s32max
BUF_SIZE 1 newinfo->entries 0-s32max
DATA_SOURCE 0 repl $1
DATA_SOURCE 1 newinfo $2
NS_CAPABLE 0 12
TERMINATED 0 repl->name 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 repl->entries_size 1-s32max[c]
USER_DATA 0 repl->nentries 0-16378
USER_DATA 0 repl->num_counters 0-16378
USER_DATA 0 repl->valid_hooks 0-u32max
USER_DATA 1 *newinfo->entries 0-255
USER_PTR 0 repl->hook_entry
USER_PTR 0 repl->name
USER_PTR 1 newinfo->entries