Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namei.c path_init() -> nd_jump_root()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nd | 522358671205986304,2024205125206544384,4342420360533635072,6489631671941296128 |
| PARAM_VALUE | 0 | nd->last_type | 0-3 |
| PARAM_VALUE | 0 | nd->next_seq | 0 |
| PARAM_VALUE | 0 | nd->pathname | 4096-ptr_max |
| PARAM_VALUE | 0 | nd->root.mnt | 0 |
| PARAM_VALUE | 0 | nd->seq | 0 |
| PARAM_VALUE | 0 | nd->state | 0,4-u32max |
| PARAM_VALUE | 0 | *nd->pathname | 1-255 |
| DATA_SOURCE | 0 | nd | $0 |
| BIT_INFO | 0 | nd->state | 0x4,0xfffffffe |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | nd->dfd | s32min-s32max |
| USER_DATA | 0 | nd->last.hash | 0-u32max[c] |
| HALF_LOCKED2 | rcu_read |
fs/namei.c pick_link() -> nd_jump_root()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nd | 4096-ptr_max |
| PARAM_VALUE | 0 | nd->path.dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | nd->path.dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | nd->total_link_count | s32min-40 |
| BUF_SIZE | 0 | nd->last.name | s32min,(-1),1-s32max |
| DATA_SOURCE | 0 | nd | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | nd->dfd | s32min-s32max |
| USER_DATA | 0 | nd->last->name | 0-255 |
| USER_DATA | 0 | nd->last.hash | 0-u32max[c] |
| USER_DATA | 0 | nd->path.dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | nd->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | nd->path.dentry->d_inode->i_size |