Documented in 1 files:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

kernel/rcu/tree.c rcu_do_batch() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
HALF_LOCKED2 bh

kernel/rcu/tree.c rcu_do_batch() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
HALF_LOCKED2 bh

kernel/rcu/tree.c rcu_do_batch() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
LOCK2 flags
HALF_LOCKED2 &rdp->nocb_lock
HALF_LOCKED2 bh

kernel/rcu/tree.c rcu_is_cpu_rrupt_from_idle() -> is_idle_task()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/rcu/tree.c rcu_wake_cond() -> is_idle_task()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

kernel/entry/common.c irqentry_enter_from_kernel_mode() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH

kernel/context_tracking.c ct_kernel_enter() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
LOCK2 flags
LOCK2 irq

kernel/context_tracking.c ct_kernel_exit() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
LOCK2 irq

kernel/sched/build_policy.c pick_task_idle() -> is_idle_task()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 irq

kernel/softirq.c irq_enter_rcu() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt

kernel/sched/fair.c migrate_se_pelt_lag() -> is_idle_task()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock
HALF_LOCKED2 irq
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/trace/rv/monitors/nomiss/nomiss.c handle_server_switch() -> is_idle_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
BUF_SIZE 0 p 13696
DATA_SOURCE 0 p $0

kernel/events/core.c perf_swevent_hrtimer() -> is_idle_task()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/debug/kdb/kdb_support.c kdb_task_state_char() -> is_idle_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1,3
STR_LEN 0 p (-1),1,3
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
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
LOCK2 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
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
LOCK2 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_is_holdout() -> is_idle_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/sched/core.c __might_resched() -> is_idle_task()

Type Parameter Key Value

kernel/sched/core.c __resched_curr() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
HALF_LOCKED2 rq

kernel/sched/core.c update_rq_clock_pelt() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 _T->rf.flags
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 global &shares_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/sched/core.c wake_up_if_idle() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 rcu_read
HALF_LOCKED2 global &cpuidle_lock
HALF_LOCKED2 global &system_transition_mutex

kernel/sched/core.c wake_up_if_idle() -> is_idle_task()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 _T->lock
LOCK2 _T->rf.flags
LOCK2 rcu_read
HALF_LOCKED2 global &cpuidle_lock
HALF_LOCKED2 global &system_transition_mutex