Defined in 2 files as a function:
- arch/x86/kernel/unwind_frame.c, line 31 (as a function)
- arch/x86/kernel/unwind_orc.c, line 47 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 0,4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 0-1,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | &p->signal->exec_update_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.end | 0,4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 0-1,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->regs | (-1),168 |
| CAPPED_DATA | 0 | state->task | 1 |
| CAPPED_DATA | 0 | state->task->stack | 1 |
| DATA_SOURCE | 0 | state | $0 |
| FUZZY_MAX | 0 | state->graph_idx | 0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| MEM_ZERO | 0 | state | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | &p->signal->exec_update_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/kernel/unwind_orc.c unwind_next_frame() -> unwind_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 203157205208690688,1166496065046179840,4478616676633214976,5620292609999732736,6627325413077086208,9036986890927263744 |
| PARAM_VALUE | 0 | state->error | 0 |
| PARAM_VALUE | 0 | state->graph_idx | 0-2147483646 |
| PARAM_VALUE | 0 | state->ip | 0-5952596217597046783,5952596217597046785-u64max |
| PARAM_VALUE | 0 | state->regs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.begin | 0-18446744073709547519 |
| PARAM_VALUE | 0 | state->stack_info.end | 4096-u64max |
| PARAM_VALUE | 0 | state->stack_info.next_sp | 0 |
| PARAM_VALUE | 0 | state->stack_info.type | 1-2,4 |
| PARAM_VALUE | 0 | state->stack_mask | 0,2-u64max |
| BUF_SIZE | 0 | state->prev_regs | (-1)-0,168 |
| CAPPED_DATA | 0 | state->stack_info.begin | 1 |
| CAPPED_DATA | 0 | state->stack_info.end | 1 |
| CAPPED_DATA | 0 | state->stack_info.type | 1 |
| CAPPED_DATA | 0 | state->task | 1 |
| DATA_SOURCE | 0 | state | $0 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state | (-1)-2,8,24 |
| STR_LEN | 0 | state->task | (-1)-0,2 |
| PARAM_COMPARE | 0 | state->sp | < $0->stack_info.end |
| PARAM_COMPARE | 0 | state->sp | >= $0->stack_info.begin |
| PARAM_COMPARE | 0 | state->stack_info.begin | < $0->stack_info.end |
| MEM_ZERO | 0 | state | |
| MEM_ZERO | 0 | state->stack_info.begin | |
| MEM_ZERO | 0 | state->stack_info.end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | state->prev_regs->ax | 0-u64max |
| USER_DATA | 0 | state->prev_regs->cx | 0-u64max |
| USER_DATA | 0 | state->prev_regs->r11 | 0-u64max |
| USER_DATA | 0 | state->regs->ax | 0-u64max |
| USER_DATA | 0 | state->regs->cx | 0-u64max |
| USER_DATA | 0 | state->regs->r11 | 0-u64max |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | &p->signal->exec_update_lock | ||
| HALF_LOCKED2 | irq |