Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jfs/jfs_discard.c jfs_ioc_trim() -> dbDiscardAG()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_sb 4096-ptr_max
PARAM_VALUE 0 ip->i_sb->s_bdev 4096-ptr_max
PARAM_VALUE 2 minlen 1-4294967295
CAPPED_DATA 1 agno 1
CAPPED_DATA 2 minlen 1
DATA_SOURCE 0 ip $0
CAPABLE 0 21
NOSPEC 1 agno
USER_DATA 1 agno 0-s32max[c]
USER_DATA 2 minlen 2-s32max[c]
LOCK2 &sb->s_umount
TYPE_LOCK (struct super_block)->s_umount