Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c task_numa_compare() -> task_numa_assign()

Type Parameter Key Value
PARAM_VALUE 0 env 6018764520526675968
PARAM_VALUE 0 env->best_cpu (-1)-s32max
PARAM_VALUE 0 env->dist 0-255
PARAM_VALUE 0 env->dst_cpu 0-s32max
PARAM_VALUE 0 env->dst_nid s32min-(-2),0-s32max
PARAM_VALUE 0 env->dst_stats.idle_cpu (-1)-64
PARAM_VALUE 0 env->dst_stats.node_type 1
PARAM_VALUE 0 env->p 4096-ptr_max
PARAM_VALUE 0 env->p->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 env->p->se.cfs_rq 4096-ptr_max
PARAM_VALUE 0 env->src_stats.idle_cpu (-1)
PARAM_VALUE 0 env->src_stats.node_type 1
PARAM_VALUE 1 p 0,4096-ptr_max
PARAM_VALUE 1 p->cpus_ptr->bits 4096-ptr_max
PARAM_VALUE 1 p->mm 1-u64max
CAPPED_DATA 0 env->dist 1
CAPPED_DATA 0 env->dst_cpu 1
CAPPED_DATA 0 env->dst_nid 1
CAPPED_DATA 0 env->p 1
CAPPED_DATA 0 env->p->numa_group 1
DATA_SOURCE 0 env $0
PARAM_COMPARE 1 p < $0->p
PARAM_COMPARE 1 p < $0->p
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 p unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &mm->mmap_lock

kernel/sched/fair.c task_numa_find_cpu() -> task_numa_assign()

Type Parameter Key Value
PARAM_VALUE 0 env 6018764520526675968
PARAM_VALUE 0 env->best_cpu (-1)-s32max
PARAM_VALUE 0 env->dist 0-255
PARAM_VALUE 0 env->dst_cpu 0-64
PARAM_VALUE 0 env->dst_nid s32min-(-2),0-s32max
PARAM_VALUE 0 env->dst_stats.idle_cpu 0-64
PARAM_VALUE 0 env->p 4096-ptr_max
PARAM_VALUE 0 env->src_stats.idle_cpu (-1)
PARAM_VALUE 0 env->src_stats.node_type 1
PARAM_VALUE 1 p 0
PARAM_VALUE 2 imp 0
DATA_SOURCE 0 env $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock