Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/notify/fanotify/fanotify.c fanotify_fh_equal() -> fanotify_fh_buf()

Type Parameter Key Value
PARAM_VALUE 0 fh 4096-ptr_max
CAPPED_DATA 0 fh->len 1
CAPPED_DATA 0 fh->type 1
DATA_SOURCE 0 fh $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify.c fanotify_fh_equal() -> fanotify_fh_buf()

Type Parameter Key Value
PARAM_VALUE 0 fh 4096-ptr_max
CAPPED_DATA 0 fh->len 1
CAPPED_DATA 0 fh->type 1
DATA_SOURCE 0 fh $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &group->notification_lock
TYPE_LOCK (struct fsnotify_group)->notification_lock

fs/notify/fanotify/fanotify.c fanotify_hash_fh() -> fanotify_fh_buf()

Type Parameter Key Value
PARAM_VALUE 0 fh 4096-ptr_max
PARAM_VALUE 0 fh->flags 0-1
CAPPED_DATA 0 fh->len 1
DATA_SOURCE 0 fh $0
FUZZY_MAX 0 fh->flags 0

fs/notify/fanotify/fanotify_user.c copy_fid_info_to_user() -> fanotify_fh_buf()

Type Parameter Key Value
PARAM_VALUE 0 fh 4096-ptr_max
BUF_SIZE 0 fh (-1),4
BUF_SIZE 0 fh (-1),4
DATA_SOURCE 0 fh $1