Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/notify/fanotify/fanotify_user.c fanotify_add_mark() -> fanotify_add_new_mark()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->mark_mutex.dep_map->name 0-255
PARAM_VALUE 0 group->mark_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 group->mark_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 group->mark_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 group->owner_flags 0,262144
PARAM_VALUE 1 obj 1-u64max
PARAM_VALUE 2 obj_type 1-3
PARAM_VALUE 3 fan_flags 0-2046
PARAM_VALUE 4 fsid 0,1357320841103798272
PARAM_VALUE 4 fsid->sb 4096-ptr_max
BUF_SIZE 0 group s32min-(-2),1-s32max
BUF_SIZE 0 group s32min-(-2),1-s32max
BUF_SIZE 4 fsid 0,24
BUF_SIZE 4 fsid 0,24
CAPPED_DATA 0 group 1
DATA_SOURCE 0 group $0
DATA_SOURCE 1 obj $1
DATA_SOURCE 2 obj_type $2
DATA_SOURCE 3 fan_flags $4
DATA_SOURCE 4 fsid $5
FUZZY_MAX 2 obj_type 3
NS_CAPABLE 0 21
BIT_INFO 3 fan_flags 0x0,0x5ff
BIT_INFO 4 fsid 0x0,0x12d62c1d1439f000
BIT_INFO 4 fsid 0x0,0x12d62c1d1439f000
HARD_MAX 2 obj_type 3
USER_DATA 3 fan_flags 0-2046
UNITS 0 group unit_byte
UNITS 1 obj unit_byte
LOCK2 0 &group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex