Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c context_switch() -> finish_task_switch()

Type Parameter Key Value
PARAM_VALUE 0 prev->perf_event_ctxp->is_active 0-s32max
PARAM_VALUE 0 prev->perf_event_ctxp->lock.dep_map->name 0-255
PARAM_VALUE 0 prev->perf_event_ctxp->lock.owner (-1)
PARAM_VALUE 0 prev->perf_event_ctxp->lock.owner_cpu u32max
PARAM_VALUE 0 prev->perf_event_ctxp->pin_count 0
PARAM_VALUE 0 prev->perf_event_ctxp->task 4096-ptr_max
PARAM_VALUE 0 prev->perf_event_ctxp->task->perf_event_ctxp 4096-ptr_max
PARAM_VALUE 0 prev->perf_event_ctxp->task->sched_info.max_run_delay 1-u64max
PARAM_VALUE 0 prev->perf_event_ctxp->task->sched_info.max_run_delay_ts.tv_nsec 0-999999999
PARAM_VALUE 0 prev->perf_event_ctxp->task->sched_info.min_run_delay 1-u64max
DATA_SOURCE 0 prev r __switch_to_asm
RX_PATH
TASK_NOT_RUNNING
UNITS 0 prev unit_byte
LOCK2 irq

kernel/sched/core.c schedule_tail() -> finish_task_switch()

Type Parameter Key Value
DATA_SOURCE 0 prev $0
NOCHECK_CALL