Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/locks.c do_fcntl_add_lease() -> fasync_free()

Type Parameter Key Value
PARAM_VALUE 0 new 4096-ptr_max
DATA_SOURCE 0 new r fasync_alloc
NOCHECK_CALL
USER_DATA 0 new->fa_fd s32min-s32max

fs/fcntl.c fasync_add_entry() -> fasync_free()

Type Parameter Key Value
PARAM_VALUE 0 new 1-u64max
PARAM_VALUE 0 new->fa_file 4096-ptr_max
PARAM_VALUE 0 new->fa_lock.magic 3736018669
PARAM_VALUE 0 new->fa_lock.owner (-1)
PARAM_VALUE 0 new->fa_lock.owner_cpu u32max
PARAM_VALUE 0 new->magic 17921
DATA_SOURCE 0 new r fasync_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pinstance->aen_queue_lock
HALF_LOCKED2 &pipe->mutex
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 global &megasas_async_queue_mutex
HALF_LOCKED2 global &mpctl_mutex
HALF_LOCKED2 sk