Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/locktorture.c lock_torture_reader() -> (struct lock_torture_ops)->read_delay()

Type Parameter Key Value
PARAM_VALUE 0 trsp 1524109662746746880
PARAM_VALUE 0 trsp->trs_count 0
PARAM_VALUE 0 trsp->trs_state 0
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem