Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/stat.c __do_sys_readlink() -> do_readlinkat()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
DATA_SOURCE 1 pathname $0
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 bufsiz $2
USER_DATA 1 pathname 0-u64max
USER_DATA 2 buf 0-u64max
USER_DATA 3 bufsiz s32min-s32max

fs/stat.c __do_sys_readlink() -> do_readlinkat()

Type Parameter Key Value
PARAM_VALUE 0 dfd (-100)
DATA_SOURCE 1 pathname $0
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 bufsiz $2
USER_DATA 1 pathname 0-u64max
USER_DATA 2 buf 0-u64max
USER_DATA 3 bufsiz s32min-s32max

fs/stat.c __do_sys_readlinkat() -> do_readlinkat()

Type Parameter Key Value
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 pathname $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 bufsiz $3
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 pathname 0-u64max
USER_DATA 2 buf 0-u64max
USER_DATA 3 bufsiz s32min-s32max

fs/stat.c __do_sys_readlinkat() -> do_readlinkat()

Type Parameter Key Value
DATA_SOURCE 0 dfd $0
DATA_SOURCE 1 pathname $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 bufsiz $3
USER_DATA 0 dfd s32min-s32max
USER_DATA 1 pathname 0-u64max
USER_DATA 2 buf 0-u64max
USER_DATA 3 bufsiz s32min-s32max