Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/rcu/rcutorture.c srcu_torture_read_unlock() -> srcu_read_unlock_nmisafe()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 1 idx 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &fullstop_mutex
HALF_LOCKED2 rcu_read

kernel/printk/printk.c console_srcu_read_unlock() -> srcu_read_unlock_nmisafe()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4575592226937753600
PARAM_VALUE 1 idx 0-1
DATA_SOURCE 1 idx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &dbg_master_lock
HALF_LOCKED2 global &tty_mutex
HALF_LOCKED2 rcu_read