Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/rcu/update.c rcu_tasks_one_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 4096-ptr_max
PARAM_VALUE 0 rtp->gp_state 0,2-8,10-11
PARAM_VALUE 1 newstate 11
BUF_SIZE 0 rtp 128
BUF_SIZE 0 rtp 128
CAPPED_DATA 0 &rtp->tasks_gp_mutex 1
DATA_SOURCE 0 rtp $0
RX_PATH
NOCHECK_CALL

kernel/rcu/update.c rcu_tasks_one_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 4096-ptr_max
PARAM_VALUE 0 rtp->gp_state 0,2-8,10-11
PARAM_VALUE 1 newstate 2
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
CAPPED_DATA 0 &rtp->tasks_gp_mutex 1
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_one_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 4096-ptr_max
PARAM_VALUE 0 rtp->gp_state 0,2-8,10-11
PARAM_VALUE 1 newstate 10
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
CAPPED_DATA 0 &rtp->tasks_gp_mutex 1
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 0,3-8,10
PARAM_VALUE 1 newstate 3
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 3
PARAM_VALUE 1 newstate 4
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 4
PARAM_VALUE 1 newstate 5
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 5,7
PARAM_VALUE 1 newstate 6
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 6
PARAM_VALUE 1 newstate 7
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex

kernel/rcu/update.c rcu_tasks_wait_gp() -> set_tasks_gp_state()

Type Parameter Key Value
PARAM_VALUE 0 rtp 295581862719967232
PARAM_VALUE 0 rtp->gp_state 5,7
PARAM_VALUE 1 newstate 8
BUF_SIZE 0 rtp (-1),128
BUF_SIZE 0 rtp (-1),128
DATA_SOURCE 0 rtp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rtp->tasks_gp_mutex
TYPE_LOCK (struct rcu_tasks)->tasks_gp_mutex