Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/rcu/rcutorture.c rcu_torture_one_read() -> rcutorture_extend_mask()

Type Parameter Key Value
PARAM_VALUE 0 oldmask 0
PARAM_VALUE 1 trsp 4096-ptr_max
BUF_SIZE 1 trsp (-1),128
BUF_SIZE 1 trsp (-1),128
DATA_SOURCE 1 trsp $0
RX_PATH
TASK_NOT_RUNNING

kernel/rcu/rcutorture.c rcutorture_loop_extend() -> rcutorture_extend_mask()

Type Parameter Key Value
PARAM_VALUE 0 oldmask 0-16777215
PARAM_VALUE 1 trsp 4096-ptr_max
PARAM_VALUE 1 trsp->trs_count 0-s64max
BUF_SIZE 1 trsp (-1),128
BUF_SIZE 1 trsp (-1),128
DATA_SOURCE 1 trsp $1
RX_PATH
TASK_NOT_RUNNING