Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/statfs.c __do_compat_sys_fstatfs() -> put_compat_statfs()

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

fs/statfs.c __do_compat_sys_fstatfs() -> put_compat_statfs()

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

fs/statfs.c __do_compat_sys_statfs() -> put_compat_statfs()

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

fs/statfs.c __do_compat_sys_statfs() -> put_compat_statfs()

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