Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 st 6065470257245941760
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 1 st 6065470257245941760
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 1 st 525961724865204224
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

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

Type Parameter Key Value
PARAM_VALUE 1 st 525961724865204224
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

fs/statfs.c __do_sys_fstatfs64() -> fd_statfs()

Type Parameter Key Value
PARAM_VALUE 1 st 8251496155655655424
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

fs/statfs.c __do_sys_fstatfs64() -> fd_statfs()

Type Parameter Key Value
PARAM_VALUE 1 st 8251496155655655424
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max

fs/statfs.c kcompat_sys_fstatfs64() -> fd_statfs()

Type Parameter Key Value
PARAM_VALUE 1 st 7004250001766211584
DATA_SOURCE 0 fd $0
USER_DATA 0 fd s32min-s32max