Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/notify/fanotify/fanotify_user.c fanotify_mark_add_to_mask() -> fanotify_mark_update_flags()

Type Parameter Key Value
PARAM_VALUE 0 fsn_mark 4096-ptr_max
PARAM_VALUE 0 fsn_mark->flags 2-u32max
PARAM_VALUE 1 fan_flags 0-2046
BUF_SIZE 0 fsn_mark (-1),136
BUF_SIZE 0 fsn_mark (-1),136
BUF_SIZE 0 fsn_mark->group s32min-(-1),1-s32max
CAPPED_DATA 0 fsn_mark->group 1
DATA_SOURCE 0 fsn_mark $0
DATA_SOURCE 1 fan_flags $2
NS_CAPABLE 0 21
BIT_INFO 1 fan_flags 0x0,0x5ff
PREEMPT_ADD <- disables preempt
USER_DATA 0 fsn_mark->ignore_mask 0-u32max[u]
USER_DATA 0 fsn_mark->mask 0-u32max[u]
USER_DATA 1 fan_flags 0-2046
LOCK2 &group->mark_mutex
LOCK2 0 &fsn_mark->lock
TYPE_LOCK (struct fsnotify_group)->mark_mutex
TYPE_LOCK (struct fsnotify_mark)->lock