Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

kernel/rcu/tree.c rcu_check_gp_kthread_starvation() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/tree.c rcu_exp_print_detail_task_stall_rnp() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 &p->rcu_node_entry 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rnp->lock
LOCK2 flags
HALF_LOCKED2 global &rcu_state.exp_mutex
TYPE_LOCK (struct rcu_node)->lock

kernel/rcu/tree.c rcu_print_detail_task_stall_rnp() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 &p->rcu_node_entry 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rnp->lock
LOCK2 flags
TYPE_LOCK (struct rcu_node)->lock

mm/oom_kill.c oom_reap_task() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->signal 4096-ptr_max
PARAM_VALUE 0 p->signal->oom_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 p->signal->oom_mm->mmap_lock.first_waiter->type 0-1
DATA_SOURCE 0 p $0
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_stats_print() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
NOCHECK_CALL

kernel/hung_task.c debug_show_blocker() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p 1
NOCHECK_CALL
LOCK2 rcu_read

kernel/hung_task.c hung_task_info() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->__state 2-u32max
PARAM_VALUE 0 p->last_switch_count 1-u64max
CAPPED_DATA 0 p->last_switch_count 1
DATA_SOURCE 0 p $0
NOCHECK_CALL
LOCK2 rcu_read

kernel/power/process.c try_to_freeze_tasks() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->flags 0-2147483646
PARAM_VALUE 0 p->signal->oom_mm 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
LOCK2 global &tasklist_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &xenwatch_mutex

kernel/rcu/rcuscale.c rcu_scale_writer() -> sched_show_task()

Type Parameter Key Value
NOCHECK_CALL

kernel/rcu/update.c check_holdout_task() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->on_rq 1-255
PARAM_VALUE 0 p->rcu_tasks_holdout 1-255
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->rcu_tasks_nvcsw 1
DATA_SOURCE 0 p $0
PARAM_COMPARE 0 p->nvcsw == $0->rcu_tasks_nvcsw
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/hazptrtorture.c hazptr_torture_stats_print() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
NOCHECK_CALL

kernel/workqueue.c show_cpu_pool_busy_workers() -> sched_show_task()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 irq_flags
LOCK2 rcu_read
TYPE_LOCK (struct worker_pool)->lock

kernel/workqueue.c show_pool_no_running_worker() -> sched_show_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 irq_flags
LOCK2 rcu_read
TYPE_LOCK (struct worker_pool)->lock

kernel/sched/core.c dump_cpu_task() -> sched_show_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 &rnp->lock
HALF_LOCKED2 flags

kernel/sched/core.c show_state_filter() -> sched_show_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 global &kbd_event_lock
HALF_LOCKED2 irq