Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netfilter/nf_tables_api.c nf_tables_newrule() -> nft_validate_state_update()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 new_validate_state 1
CAPPED_DATA 0 table 1
CAPPED_DATA 0 table->family 1
DATA_SOURCE 0 table r nft_table_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nf_tables_validate() -> nft_validate_state_update()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->validate_state 1
PARAM_VALUE 1 new_validate_state 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nf_tables_validate() -> nft_validate_state_update()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->validate_state 2
PARAM_VALUE 1 new_validate_state 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nft_add_set_elem() -> nft_validate_state_update()

Type Parameter Key Value
PARAM_VALUE 1 new_validate_state 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read