Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/stacktrace.c arch_stack_walk() -> arch_stack_walk param 0()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4221218762162728960
BUF_SIZE 0 cookie 24
BUF_SIZE 0 cookie 24
DATA_SOURCE 0 cookie $1
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/stacktrace.c arch_stack_walk() -> arch_stack_walk param 0()

Type Parameter Key Value
PARAM_VALUE 0 cookie 1802589938092310528,4221218762162728960,7737841424657608704
PARAM_VALUE 1 addr 1-5952596217597046783,5952596217597046785-u64max
BUF_SIZE 0 cookie 24
BUF_SIZE 0 cookie 24
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 cookie $1
DATA_SOURCE 1 addr r unwind_get_return_address
RX_PATH
TASK_NOT_RUNNING