Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/d_path.c __d_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3156006905645072384 |
| PARAM_VALUE | 0 | p->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | c | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/d_path.c __dentry_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3981841448834899968 |
| PARAM_VALUE | 1 | c | 47 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
fs/d_path.c __do_sys_getcwd() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2167904369255747584 |
| PARAM_VALUE | 0 | p->len | 4096 |
| PARAM_VALUE | 1 | c | 0 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
fs/d_path.c __do_sys_getcwd() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2167904369255747584 |
| PARAM_VALUE | 0 | p->len | 4096 |
| PARAM_VALUE | 1 | c | 0 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
fs/d_path.c d_absolute_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3352093152991854592 |
| PARAM_VALUE | 0 | p->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | c | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &tomoyo_ss |
fs/d_path.c d_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9005423714534674432 |
| PARAM_VALUE | 0 | p->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | c | 0 |
| NOSPEC | 0 | p->len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | p->len | 2-4096[c] |
| LOCK2 | rcu_read | ||
| 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 dentry_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2370110836984590336 |
| PARAM_VALUE | 0 | p->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | c | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/d_path.c dentry_path_raw() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 816016839825297408 |
| PARAM_VALUE | 0 | p->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | c | 0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &seq->lock | ||
| HALF_LOCKED2 | global &tomoyo_ss |
fs/d_path.c prepend_name() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1217240794689880064,3981841448834899968 |
| PARAM_VALUE | 1 | c | 47 |
| DATA_SOURCE | 0 | p | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *p->buf | 0-255 |
| HALF_LOCKED2 | rcu_read |
fs/d_path.c prepend_path() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1217240794689880064 |
| PARAM_VALUE | 1 | c | 47 |
| NOSPEC | 0 | p->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | p->len | 0-4085[c] |
| HALF_LOCKED2 | rcu_read |
fs/d_path.c simple_dname() -> prepend_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4084662243138265088 |
| PARAM_VALUE | 0 | p->len | s32min-2147483636 |
| PARAM_VALUE | 1 | c | 47 |
| NOSPEC | 0 | p->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | p->len | 0-4085[c] |
| HALF_LOCKED2 | global &tomoyo_ss |