Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/rcu/tree.c rcu_irq_exit_check_preempt() -> ct_nesting()

Type Parameter Key Value

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PREEMPT_ADD
LOCK2 flags
LOCK2 irq

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

Type Parameter Key Value
PREEMPT_ADD
LOCK2 flags
LOCK2 irq

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

Type Parameter Key Value
PREEMPT_ADD
LOCK2 irq

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

Type Parameter Key Value
PREEMPT_ADD
LOCK2 irq

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

Type Parameter Key Value
PREEMPT_ADD
LOCK2 irq