Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/notify/mark.c fsnotify_add_mark_locked() -> fsnotify_add_mark_list()

Type Parameter Key Value
PARAM_VALUE 0 mark 4096-ptr_max
PARAM_VALUE 0 mark->connector 0
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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mark->mask 0,1028,4032,8192-12287,32768,134217728-134217735,134218112-939525063
PARAM_VALUE 0 mark->obj_list.next 0
PARAM_VALUE 0 mark->obj_list.pprev 0
PARAM_VALUE 2 obj_type 0-3
PARAM_VALUE 3 add_flags 0-1
BUF_SIZE 0 mark (-1),136
BUF_SIZE 0 mark (-1),136
DATA_SOURCE 0 mark $0
DATA_SOURCE 1 obj $1
DATA_SOURCE 2 obj_type $2
DATA_SOURCE 3 add_flags $3
FUZZY_MAX 2 obj_type 3
FUZZY_MAX 3 add_flags 1
BIT_INFO 0 mark->flags 0x3,0xffffffffffffffff
HARD_MAX 2 obj_type 3
HARD_MAX 3 add_flags 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mark->mask 8192-12287,134225920-134230015[c][u]
UNITS 1 obj unit_byte
HALF_LOCKED2 &group->mark_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &audit_tree_group->mark_mutex
HALF_LOCKED2 global &dnotify_group->mark_mutex
TYPE_LOCK (struct fsnotify_group)->mark_mutex