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_watch()

Type Parameter Key Value
PARAM_VALUE 0 krule 4096-ptr_max
PARAM_VALUE 0 krule->action 0,2
PARAM_VALUE 0 krule->field_count 0-64
PARAM_VALUE 0 krule->fields 16,4096-ptr_max
PARAM_VALUE 0 krule->flags 0,16
PARAM_VALUE 0 krule->inode_f 0,4096-ptr_max
PARAM_VALUE 0 krule->listnr 0-1,4-7
PARAM_VALUE 0 krule->watch 1-u64max
PARAM_VALUE 1 list 3083052715486351360
PARAM_VALUE 1 *list 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 krule->action 0[u]
USER_DATA 0 krule->field_count 0-64[u]
USER_DATA 0 krule->flags 0,16[c]
USER_DATA 0 krule->listnr 0-1,4-7[c]
NO_OVERFLOW_SIMPLE 0 krule->field_count
USER_PTR 0 krule->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