Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/proc/base.c proc_pid_readlink() -> do_proc_readlink()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4935506243646550016 |
| DATA_SOURCE | 1 | buffer | $1 |
| DATA_SOURCE | 2 | buflen | $2 |
| USER_DATA | 1 | buffer | 0-u64max |
| USER_DATA | 2 | buflen | s32min-s32max |