Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/statfs.c __do_sys_fstatfs() -> do_statfs_native()

Type Parameter Key Value
PARAM_VALUE 0 st 525961724865204224
PARAM_VALUE 0 st->f_bavail 0
PARAM_VALUE 0 st->f_bfree 0
PARAM_VALUE 0 st->f_blocks 0
PARAM_VALUE 0 st->f_bsize 0
PARAM_VALUE 0 st->f_ffree 0
PARAM_VALUE 0 st->f_files 0
PARAM_VALUE 0 st->f_flags 0-s32max
PARAM_VALUE 0 st->f_frsize 0
PARAM_VALUE 0 st->f_namelen 0
PARAM_VALUE 0 st->f_type 0
DATA_SOURCE 1 p $1
MEM_ZERO 0 st
USER_DATA 1 p 0-u64max

fs/statfs.c __do_sys_fstatfs() -> do_statfs_native()

Type Parameter Key Value
PARAM_VALUE 0 st 525961724865204224
PARAM_VALUE 0 st->f_bavail 0
PARAM_VALUE 0 st->f_bfree 0
PARAM_VALUE 0 st->f_blocks 0
PARAM_VALUE 0 st->f_bsize 0
PARAM_VALUE 0 st->f_ffree 0
PARAM_VALUE 0 st->f_files 0
PARAM_VALUE 0 st->f_flags 0-s32max
PARAM_VALUE 0 st->f_frsize 0
PARAM_VALUE 0 st->f_namelen 0
PARAM_VALUE 0 st->f_type 0
DATA_SOURCE 1 p $1
MEM_ZERO 0 st
USER_DATA 1 p 0-u64max

fs/statfs.c __do_sys_statfs() -> do_statfs_native()

Type Parameter Key Value
PARAM_VALUE 0 st 1441623263418138624
PARAM_VALUE 0 st->f_bavail 0
PARAM_VALUE 0 st->f_bfree 0
PARAM_VALUE 0 st->f_blocks 0
PARAM_VALUE 0 st->f_bsize 0
PARAM_VALUE 0 st->f_ffree 0
PARAM_VALUE 0 st->f_files 0
PARAM_VALUE 0 st->f_flags 0-s32max
PARAM_VALUE 0 st->f_frsize 0
PARAM_VALUE 0 st->f_namelen 0
PARAM_VALUE 0 st->f_type 0
DATA_SOURCE 1 p $1
MEM_ZERO 0 st
USER_DATA 1 p 0-u64max

fs/statfs.c __do_sys_statfs() -> do_statfs_native()

Type Parameter Key Value
PARAM_VALUE 0 st 1441623263418138624
PARAM_VALUE 0 st->f_bavail 0
PARAM_VALUE 0 st->f_bfree 0
PARAM_VALUE 0 st->f_blocks 0
PARAM_VALUE 0 st->f_bsize 0
PARAM_VALUE 0 st->f_ffree 0
PARAM_VALUE 0 st->f_files 0
PARAM_VALUE 0 st->f_flags 0-s32max
PARAM_VALUE 0 st->f_frsize 0
PARAM_VALUE 0 st->f_namelen 0
PARAM_VALUE 0 st->f_type 0
DATA_SOURCE 1 p $1
MEM_ZERO 0 st
USER_DATA 1 p 0-u64max