Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/audit_tree.c tag_chunk() -> replace_chunk()

Type Parameter Key Value
PARAM_VALUE 0 new 4096-ptr_max
PARAM_VALUE 0 new->owners 4096-ptr_max
PARAM_VALUE 0 new->refs.counter 1
PARAM_VALUE 1 old 4096-ptr_max
BUF_SIZE 0 new s32min-s32max
CAPPED_DATA 0 new->count 1
CAPPED_DATA 1 old->count 1
DATA_SOURCE 0 new r alloc_chunk
DATA_SOURCE 1 old r mark_chunk
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_tree_group->mark_mutex
LOCK2 global &hash_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct fsnotify_group)->mark_mutex

kernel/audit_tree.c untag_chunk() -> replace_chunk()

Type Parameter Key Value
PARAM_VALUE 0 new 4096-ptr_max
PARAM_VALUE 0 new->count 1-s32max
PARAM_VALUE 0 new->owners 4096-ptr_max
PARAM_VALUE 0 new->refs.counter 1
PARAM_VALUE 1 old 4096-ptr_max
PARAM_VALUE 1 old->mark 4096-ptr_max
BUF_SIZE 0 new 112-s32max
BUF_SIZE 0 new 112-s32max
CAPPED_DATA 1 old 1
CAPPED_DATA 1 old->count 1
DATA_SOURCE 0 new r alloc_chunk
DATA_SOURCE 1 old $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_tree_group->mark_mutex
LOCK2 global &hash_lock
TYPE_LOCK (struct fsnotify_group)->mark_mutex