Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/notify/fanotify/fanotify.c fanotify_free_event() -> FANOTIFY_E()

Type Parameter Key Value
PARAM_VALUE 0 fse 1-u64max
BUF_SIZE 0 fse (-1),16
BUF_SIZE 0 fse (-1),16
DATA_SOURCE 0 fse $1
RX_PATH
TASK_NOT_RUNNING

fs/notify/fanotify/fanotify.c fanotify_insert_event() -> FANOTIFY_E()

Type Parameter Key Value
PARAM_VALUE 0 fse 4096-ptr_max
BUF_SIZE 0 fse (-1),16
BUF_SIZE 0 fse (-1),16
DATA_SOURCE 0 fse $1
RX_PATH
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify.c fanotify_merge() -> FANOTIFY_E()

Type Parameter Key Value
BUF_SIZE 0 fse (-1),16
BUF_SIZE 0 fse (-1),16
DATA_SOURCE 0 fse $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify_user.c fanotify_ioctl() -> FANOTIFY_E()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify_user.c fanotify_release() -> FANOTIFY_E()

Type Parameter Key Value
PARAM_VALUE 0 fse 4096-ptr_max
DATA_SOURCE 0 fse r fsnotify_remove_first_event
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify_user.c get_one_event() -> FANOTIFY_E()

Type Parameter Key Value
PARAM_VALUE 0 fse 1-u64max
DATA_SOURCE 0 fse r fsnotify_peek_first_event
PREEMPT_ADD <- disables preempt
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock