Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/devpts/inode.c devpts_acquire() -> devpts_ptmx_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 1710215591764013056 |
| PARAM_VALUE | 0 | path->dentry | 0,4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/devpts/inode.c devpts_mntget() -> devpts_ptmx_path()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 864483254935003136 |
| PARAM_VALUE | 0 | path->dentry | 0,4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |