Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/block/loop.c, line 774
- fs/cachefiles/cache.c
- fs/nfsd/nfs4xdr.c, line 4033
- fs/nfsd/vfs.c, line 2591
- fs/overlayfs/super.c
- fs/smb/server/smb2pdu.c, line 6062
- fs/statfs.c
- kernel/acct.c, line 125
Smatch caller information:
fs/cachefiles/cache.c cachefiles_add_cache() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 526673928346890240 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 2415262846403543040 |
| LOCK2 | &cache->daemon_mutex | ||
| TYPE_LOCK | (struct cachefiles_cache)->daemon_mutex |
fs/cachefiles/cache.c cachefiles_has_space() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 7933588288003436544 |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 7590610407203975168 |
| MEM_ZERO | 1 | buf | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &cache->daemon_mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/block/loop.c loop_get_discard_config() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4713682233614426112 |
| LOCK2 | &lo->lo_mutex | ||
| LOCK2 | &lo->lo_queue->limits_lock | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |
fs/statfs.c fd_statfs() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 136,4096-ptr_max |
| PARAM_VALUE | 1 | buf | 525961724865204224,6065470257245941760,7004250001766211584,8251496155655655424 |
| DATA_SOURCE | 1 | buf | $1 |
fs/statfs.c user_statfs() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 2093720132556853248 |
| PARAM_VALUE | 1 | buf | 1441623263418138624,3426992806067572736,8505710684787007488,9181782658671603712 |
| DATA_SOURCE | 1 | buf | $1 |
fs/overlayfs/super.c ovl_check_namelen() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 8485516529631117312 |
| DATA_SOURCE | 0 | path | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/overlayfs/super.c ovl_statfs() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 8955040937999572992 |
| DATA_SOURCE | 1 | buf | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_umount |
fs/nfsd/vfs.c nfsd_statfs() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 1483920249781731328 |
| PARAM_VALUE | 1 | buf | 8 |
| DATA_SOURCE | 1 | buf | $2 |
kernel/acct.c check_free_space() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 6454247775785906176 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/smb/server/smb2pdu.c smb2_get_info_filesystem() -> vfs_statfs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 8542311873780916224 |
| PARAM_VALUE | 1 | buf | 5400658998349901824 |
| LOCK2 | &pool->lock |