Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/rcu/update.c rcu_read_lock_any_held() -> rcu_read_lock_held_common()

Type Parameter Key Value
PARAM_VALUE 0 ret 627061549476941824

kernel/rcu/update.c rcu_read_lock_bh_held() -> rcu_read_lock_held_common()

Type Parameter Key Value
PARAM_VALUE 0 ret 2843573777510785024

kernel/rcu/update.c rcu_read_lock_held() -> rcu_read_lock_held_common()

Type Parameter Key Value
PARAM_VALUE 0 ret 4212716494220345344

kernel/rcu/update.c rcu_read_lock_sched_held() -> rcu_read_lock_held_common()

Type Parameter Key Value
PARAM_VALUE 0 ret 3588126849729126400
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &m->lock
HALF_LOCKED2 global &css_set_lock
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 global &ftrace_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read