Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/notify/dnotify/dnotify.c dnotify_flush() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mark->group 1
DATA_SOURCE 0 mark r fsnotify_find_inode_mark
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &dnotify_group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/notify/dnotify/dnotify.c fcntl_dirnotify() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 mark (-1),136
BUF_SIZE 0 mark (-1),136
NOCHECK_CALL
LOCK2 global &dnotify_group->mark_mutex
HALF_LOCKED2 &new_fsn_mark->lock
TYPE_LOCK (struct fsnotify_group)->mark_mutex

kernel/audit_tree.c create_chunk() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->connector 4096-ptr_max
PARAM_VALUE 0 mark->connector->list.first 1-u64max
PARAM_VALUE 0 mark->connector->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mark->connector->type 0-3,5-255
PARAM_VALUE 0 mark->flags 3,19,35,51,515,2051,2563,6147,6659
PARAM_VALUE 0 mark->g_list.next 0,4096-ptr_max
PARAM_VALUE 0 mark->g_list.prev 0,4096-ptr_max
PARAM_VALUE 0 mark->group 4096-ptr_max
PARAM_VALUE 0 mark->group->marks_list.next 4096-ptr_max
PARAM_VALUE 0 mark->group->marks_list.next->next 4096-ptr_max
PARAM_VALUE 0 mark->group->marks_list.next->prev 4096-ptr_max
PARAM_VALUE 0 mark->ignore_mask 0
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mark->mask 32768
PARAM_VALUE 0 mark->obj_list.next->pprev 4096-ptr_max
PARAM_VALUE 0 mark->obj_list.pprev 4096-ptr_max
BUF_SIZE 0 mark 136
CAPPED_DATA 0 mark->group 1
DATA_SOURCE 0 mark r alloc_mark
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_tree_group->mark_mutex
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() -> fsnotify_detach_mark()

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,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &audit_cmd_mutex.lock
LOCK2 global &audit_tree_group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/notify/mark.c fsnotify_clear_marks_by_group() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/notify/mark.c fsnotify_destroy_mark() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 1-u64max
PARAM_VALUE 0 mark->group->ops->freeing_mark 0,2212800610229145600,3292474124058923008,3405698242792390656
BUF_SIZE 0 mark (-1),136
BUF_SIZE 0 mark (-1),136
DATA_SOURCE 0 mark $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mark->ignore_mask 0-u32max[c][u]
USER_DATA 0 mark->mask 0-u32max[c][u]
LOCK2 &group->mark_mutex
HALF_LOCKED2 &(*connp)->lock
HALF_LOCKED2 global &audit_filter_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex

fs/notify/fanotify/fanotify_user.c fanotify_remove_mark() -> fsnotify_detach_mark()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->connector 4096-ptr_max
PARAM_VALUE 0 mark->flags 2-u32max
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 mark->group 1
DATA_SOURCE 0 mark r fsnotify_find_mark
NS_CAPABLE 0 21
NOCHECK_CALL
USER_DATA 0 mark->ignore_mask 0-u32max[c][u]
USER_DATA 0 mark->mask 0-u32max[c][u]
LOCK2 &group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex