Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/locktorture.c torture_rt_boost() -> __torture_rt_boost()

Type Parameter Key Value
PARAM_VALUE 0 trsp 0,8381637865750487040
PARAM_VALUE 0 trsp->trs_count 0-s64max
DATA_SOURCE 0 trsp $0
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

kernel/locking/locktorture.c torture_rt_boost_rtmutex() -> __torture_rt_boost()

Type Parameter Key Value
PARAM_VALUE 0 trsp 0,8381637865750487040
PARAM_VALUE 0 trsp->trs_count 0-s64max
DATA_SOURCE 0 trsp $0
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock