Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

arch/x86/kernel/sys_ia32.c __do_sys_ia32_sync_file_range() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 3 flags $5
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max

arch/x86/kernel/sys_ia32.c __do_sys_ia32_sync_file_range() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 3 flags $5
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max

fs/sync.c __do_sys_sync_file_range() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 nbytes $2
DATA_SOURCE 3 flags $3
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max

fs/sync.c __do_sys_sync_file_range() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 nbytes $2
DATA_SOURCE 3 flags $3
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max

fs/sync.c __do_sys_sync_file_range2() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 offset $2
DATA_SOURCE 2 nbytes $3
DATA_SOURCE 3 flags $1
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max

fs/sync.c __do_sys_sync_file_range2() -> ksys_sync_file_range()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 offset $2
DATA_SOURCE 2 nbytes $3
DATA_SOURCE 3 flags $1
USER_DATA 0 fd s32min-s32max
USER_DATA 1 offset s64min-s64max
USER_DATA 2 nbytes s64min-s64max
USER_DATA 3 flags 0-u32max