Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/audit_tree.c audit_tree_freeing_mark() -> mark_chunk()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->flags 0,2-u32max
BUF_SIZE 0 mark (-1),136
BUF_SIZE 0 mark (-1),136
DATA_SOURCE 0 mark $0
BIT_INFO 0 mark->flags 0x0,0xfffffffe
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mark->ignore_mask 0-u32max[c][u]
USER_DATA 0 mark->mask 0-u32max[c][u]
LOCK2 global &hash_lock
LOCK2 0 &mark->group->mark_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
TYPE_LOCK (struct fsnotify_group)->mark_mutex

kernel/audit_tree.c replace_mark_chunk() -> mark_chunk()

Type Parameter Key Value
BUF_SIZE 0 mark (-1),136
BUF_SIZE 0 mark (-1),136
DATA_SOURCE 0 mark $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mark->ignore_mask 0-u32max[c][u]
USER_DATA 0 mark->mask 0-u32max[c][u]
LOCK2 global &hash_lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &audit_tree_group->mark_mutex
HALF_LOCKED2 0 &mark->group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
CAPPED_DATA 0 mark->group 1
DATA_SOURCE 0 mark r fsnotify_find_inode_mark
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
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() -> mark_chunk()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->flags 2-u32max
DATA_SOURCE 0 mark $1
BIT_INFO 0 mark->flags 0x2,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_tree_group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex