Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/coda/dir.c coda_unlink() -> venus_remove()

Type Parameter Key Value
PARAM_VALUE 0 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 dirfid 4096-ptr_max
BUF_SIZE 2 name s32min-(-2),1-s32max
BUF_SIZE 2 name s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 2 name unit_byte
UNITS 3 length unit_byte
LOCK2 &target->i_rwsem
HALF_LOCKED2 &de->d_lockref.lock
HALF_LOCKED2 &de->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

drivers/base/platform.c platform_remove() -> (struct platform_driver)->remove()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex