Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 readstate 8618151303396831280
PARAM_VALUE 0 *readstate 0
PARAM_VALUE 1 newstate s32min-(-1),1-s32max
PARAM_VALUE 2 trsp 4096-ptr_max
PARAM_VALUE 2 trsp->trs_count 0-s64max
PARAM_VALUE 3 rtrsp 0
BUF_SIZE 2 trsp (-1),128
BUF_SIZE 2 trsp (-1),128
BUF_SIZE 3 rtrsp 0
DATA_SOURCE 1 newstate r rcutorture_extend_mask
DATA_SOURCE 2 trsp $0
MEM_ZERO 0 readstate
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_one_read_end() -> rcutorture_one_extend()

Type Parameter Key Value
PARAM_VALUE 0 readstate 4096-ptr_max
PARAM_VALUE 1 newstate 0
PARAM_VALUE 2 trsp 136,152,4096-ptr_max
BUF_SIZE 2 trsp (-1),128
BUF_SIZE 2 trsp (-1),128
DATA_SOURCE 2 trsp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_one_read_start() -> rcutorture_one_extend()

Type Parameter Key Value
PARAM_VALUE 0 readstate 4096-ptr_max
PARAM_VALUE 0 *readstate 0-16777215
PARAM_VALUE 1 newstate 0
PARAM_VALUE 2 trsp 136,152,4096-ptr_max
PARAM_VALUE 3 rtrsp 1
BUF_SIZE 2 trsp (-1),128
BUF_SIZE 2 trsp (-1),128
DATA_SOURCE 2 trsp $1
MEM_ZERO 0 readstate
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 readstate 8618151303396831280
PARAM_VALUE 0 *readstate 0-16777215
PARAM_VALUE 1 newstate s32min-(-1),1-s32max
PARAM_VALUE 2 trsp 4096-ptr_max
PARAM_VALUE 2 trsp->trs_count 0-s64max
BUF_SIZE 2 trsp (-1),128
BUF_SIZE 2 trsp (-1),128
CAPPED_DATA 1 newstate 1
DATA_SOURCE 0 readstate $0
DATA_SOURCE 1 newstate r rcutorture_extend_mask
DATA_SOURCE 2 trsp $1
MEM_ZERO 0 readstate
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL