Defined in 1 files as a function:
Referenced in 5 files:
- fs/hpfs/anode.c, line 489
- fs/hpfs/dir.c, line 97
- fs/hpfs/dnode.c, line 1029
- fs/hpfs/inode.c, line 116
- fs/hpfs/map.c, line 179
Smatch caller information:
fs/hpfs/anode.c hpfs_remove_fnode() -> fnode_is_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1-u64max |
| DATA_SOURCE | 0 | p | r hpfs_map_fnode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &sbi->hpfs_mutex |
fs/hpfs/dnode.c map_fnode_dirent() -> fnode_is_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1-u64max |
| DATA_SOURCE | 0 | p | r hpfs_map_fnode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_fs_info->hpfs_mutex | ||
| HALF_LOCKED2 | &sbi->hpfs_mutex |
fs/hpfs/dir.c hpfs_readdir() -> fnode_is_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1-u64max |
| DATA_SOURCE | 0 | p | r hpfs_map_fnode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &sbi->hpfs_mutex | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/hpfs/map.c hpfs_map_fnode() -> fnode_is_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| DATA_SOURCE | 0 | p | r hpfs_map_sector |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_fs_info->hpfs_mutex | ||
| HALF_LOCKED2 | &sbi->hpfs_mutex |
fs/hpfs/inode.c hpfs_read_inode() -> fnode_is_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1-u64max |
| DATA_SOURCE | 0 | p | r hpfs_map_fnode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir->i_sb->s_fs_info->hpfs_mutex | ||
| HALF_LOCKED2 | &sbi->hpfs_mutex |