Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/notify/notification.c fsnotify_insert_event() -> fsnotify_insert_event param 2()

Type Parameter Key Value
PARAM_VALUE 0 group 4096-ptr_max
PARAM_VALUE 0 group->fanotify_data.flags s32min-(-2147450882),0-32766
PARAM_VALUE 0 group->max_events 1-u32max
PARAM_VALUE 0 group->notification_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 group->ops->handle_event 0,2170179939631095808,5814794469984485376
PARAM_VALUE 0 group->q_len 0-4294967294
PARAM_VALUE 0 group->shutdown 0
BUF_SIZE 1 event (-1),16
BUF_SIZE 1 event (-1),16
CAPPED_DATA 0 group->q_len 1
DATA_SOURCE 0 group $0
DATA_SOURCE 1 event $1
PARAM_COMPARE 0 group->max_events > $0->q_len
PARAM_COMPARE 1 event != $0->overflow_event
PARAM_COMPARE 1 event != $0->overflow_event
RX_PATH
TASK_NOT_RUNNING
UNITS 0 group unit_byte
LOCK2 0 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock