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_free_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

fs/notify/dnotify/dnotify.c fcntl_dirnotify() -> fsnotify_free_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
HALF_LOCKED2 &new_fsn_mark->lock

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->connector 0,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->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.pprev 0,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
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 mark $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &audit_cmd_mutex.lock

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->group->ops->freeing_mark 0,2212800610229145600,3292474124058923008,3405698242792390656
PARAM_VALUE 0 mark->lock.rlock.dep_map->name 0-255
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]
HALF_LOCKED2 &(*connp)->lock
HALF_LOCKED2 global &audit_filter_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->connector 0,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_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]