Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_inode.c xfs_ilock() -> xfs_lock_flags_assert()

Type Parameter Key Value
DATA_SOURCE 0 lock_flags $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ls->ls_mutex
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_inode.c xfs_ilock_nowait() -> xfs_lock_flags_assert()

Type Parameter Key Value
DATA_SOURCE 0 lock_flags $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &ip->i_flags_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read

fs/xfs/xfs_inode.c xfs_iunlock() -> xfs_lock_flags_assert()

Type Parameter Key Value
DATA_SOURCE 0 lock_flags $1
NOCHECK_CALL