Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/d_path.c __d_path() -> extract_string()

Type Parameter Key Value
PARAM_VALUE 0 p 3156006905645072384
RX_PATH
TASK_NOT_RUNNING

fs/d_path.c __dentry_path() -> extract_string()

Type Parameter Key Value
PARAM_VALUE 0 p 3981841448834899968
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

fs/d_path.c d_absolute_path() -> extract_string()

Type Parameter Key Value
PARAM_VALUE 0 p 3352093152991854592
HALF_LOCKED2 global &tomoyo_ss

fs/d_path.c d_path() -> extract_string()

Type Parameter Key Value
PARAM_VALUE 0 p 9005423714534674432
NOSPEC 0 p->len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->len 0-4085[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 global &nfsd_mutex

fs/d_path.c simple_dname() -> extract_string()

Type Parameter Key Value
PARAM_VALUE 0 p 4084662243138265088
PARAM_VALUE 0 p->len (-1)-2147483635
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &tomoyo_ss