Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/fork.c account_kernel_stack() -> task_stack_vm_area()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 t->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 t->exit_code 0,256-65280[c]
USER_DATA 0 t->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 t->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 t->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 t->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 t->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 t->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 t->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 t->delays->wpcopy_delay
NO_OVERFLOW_SIMPLE 0 t->signal->stats->blkio_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->compact_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->cpu_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->cpu_run_virtual_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->freepages_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->irq_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->swapin_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->thrashing_delay_total
NO_OVERFLOW_SIMPLE 0 t->signal->stats->wpcopy_delay_total

kernel/fork.c exit_task_stack_account() -> task_stack_vm_area()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 t->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 t->exit_code 0,256-65280[c]
USER_DATA 0 t->signal->group_exit_code 0,256-65280[c]

kernel/dma/debug.c check_for_stack() -> task_stack_vm_area()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING