Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/read_write.c __do_compat_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 5651030234119221248
PARAM_VALUE 2 *ppos 0-s32max
PARAM_VALUE 4 max s32max
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_compat_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_compat_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 5651030234119221248
PARAM_VALUE 2 *ppos 0-s32max
PARAM_VALUE 4 max s32max
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_compat_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_compat_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 3745565594733694976
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 2 *ppos s64min-s64max
USER_DATA 3 count 0-u32max
USER_PTR 2 ppos

fs/read_write.c __do_compat_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_compat_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 3745565594733694976
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 2 *ppos s64min-s64max
USER_DATA 3 count 0-u32max
USER_PTR 2 ppos

fs/read_write.c __do_compat_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u32max

fs/read_write.c __do_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 2401332231297937408
PARAM_VALUE 4 max s32max
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max

fs/read_write.c __do_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max

fs/read_write.c __do_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 2401332231297937408
PARAM_VALUE 4 max s32max
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max

fs/read_write.c __do_sys_sendfile() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max

fs/read_write.c __do_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 3473107467542130688
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 2 *ppos s64min-s64max
USER_DATA 3 count 0-u64max
USER_PTR 2 ppos

fs/read_write.c __do_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max

fs/read_write.c __do_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 3473107467542130688
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 2 *ppos s64min-s64max
USER_DATA 3 count 0-u64max
USER_PTR 2 ppos

fs/read_write.c __do_sys_sendfile64() -> do_sendfile()

Type Parameter Key Value
PARAM_VALUE 2 ppos 0
PARAM_VALUE 4 max 0
DATA_SOURCE 0 out_fd $0
DATA_SOURCE 1 in_fd $1
DATA_SOURCE 3 count $3
USER_DATA 0 out_fd s32min-s32max
USER_DATA 1 in_fd s32min-s32max
USER_DATA 3 count 0-u64max