Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/netfilter/ip_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
PARAM_VALUE 0 table->private->jumpstack 16,4096-ptr_max
PARAM_VALUE 0 table->private->number 0-134217728
PARAM_VALUE 0 table->private->size 0-536870847
CAPPED_DATA 0 table->valid_hooks 1
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
NOSPEC 0 table->private->size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 table->private->size 0-536870847[c]
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv4/netfilter/ip_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->me->refcnt.counter 0-s32max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv4/netfilter/ip_tables.c compat_get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv4/netfilter/ip_tables.c do_add_counters() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/netfilter/ip_tables.c get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv4/netfilter/ip_tables.c get_info() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv6/netfilter/ip6_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
PARAM_VALUE 0 table->private->jumpstack 16,4096-ptr_max
PARAM_VALUE 0 table->private->number 0-134217728
PARAM_VALUE 0 table->private->size 0-536870847
CAPPED_DATA 0 table->valid_hooks 1
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
NOSPEC 0 table->private->size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 table->private->size 0-536870847[c]
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv6/netfilter/ip6_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->me->refcnt.counter 0-s32max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv6/netfilter/ip6_tables.c compat_get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv6/netfilter/ip6_tables.c do_add_counters() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv6/netfilter/ip6_tables.c get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv6/netfilter/ip6_tables.c get_info() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv4/netfilter/arp_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
PARAM_VALUE 0 table->private->jumpstack 16,4096-ptr_max
PARAM_VALUE 0 table->private->number 0-134217728
PARAM_VALUE 0 table->private->size 0-536870847
CAPPED_DATA 0 table->valid_hooks 1
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
NOSPEC 0 table->private->size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 table->private->size 0-536870847[c]
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv4/netfilter/arp_tables.c __do_replace() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->me->refcnt.counter 0-s32max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 table->private->number
NO_OVERFLOW_SIMPLE 0 table->private->size

net/ipv4/netfilter/arp_tables.c compat_get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv4/netfilter/arp_tables.c do_add_counters() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/netfilter/arp_tables.c get_entries() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
PARAM_VALUE 0 table->private 4096-ptr_max
CAPPED_DATA 0 table->me 1
DATA_SOURCE 0 table r xt_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL

net/ipv4/netfilter/arp_tables.c get_info() -> xt_table_unlock()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->me 0,4096-ptr_max
DATA_SOURCE 0 table r xt_request_find_table_lock
NS_CAPABLE 0 12
RX_PATH
NOCHECK_CALL