Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/auditfilter.c audit_add_rule() -> audit_add_tree_rule()

Type Parameter Key Value
PARAM_VALUE 0 rule 4096-ptr_max
PARAM_VALUE 0 rule->action 0,2
PARAM_VALUE 0 rule->field_count 0-64
PARAM_VALUE 0 rule->fields 16,4096-ptr_max
PARAM_VALUE 0 rule->flags 0,16
PARAM_VALUE 0 rule->inode_f 0,4096-ptr_max
PARAM_VALUE 0 rule->listnr 0-1,4-7
PARAM_VALUE 0 rule->tree 1-u64max
PARAM_VALUE 0 rule->watch 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rule->action 0[u]
USER_DATA 0 rule->field_count 0-64[u]
USER_DATA 0 rule->flags 0,16[c]
USER_DATA 0 rule->listnr 0-1,4-7[c]
NO_OVERFLOW_SIMPLE 0 rule->field_count
USER_PTR 0 rule->filterkey
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_filter_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read