Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/rcu/tree.c rcu_accelerate_cbs() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 158571594732359680
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rnp->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct rcu_node)->lock

kernel/rcu/tree.c rcu_accelerate_cbs_unlocked() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 8533998132991688704
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/rcu/tree.c start_poll_synchronize_rcu_expedited_full() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 739005102196899840,4678167400380186624
DATA_SOURCE 0 gsp $0
NOCHECK_CALL

kernel/rcu/tree.c start_poll_synchronize_rcu_full() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 739005102196899840,4678167400380186624
DATA_SOURCE 0 gsp $0
NOCHECK_CALL

kernel/rcu/tree.c synchronize_rcu_normal() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4790594361460850800
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/slab_common.c add_ptr_to_bulk_krc_lock() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 *flags
HALF_LOCKED2 &(*krcp)->lock

mm/slab_common.c kvfree_rcu_queue_batch() -> get_state_synchronize_rcu_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &krcp->lock
LOCK2 flags
TYPE_LOCK (struct kfree_rcu_cpu)->lock

kernel/rcu/rcutorture.c do_rtws_sync() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 6442723583398649856
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/rcu/rcutorture.c rcu_torture_fakewriter() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 739005102196899840
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_fakewriter() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 739005102196899840
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_one_read_start() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4096-ptr_max
MEM_ZERO 0 gsp
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_writer() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 2996749726105673728
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/rcu/rcutorture.c rcu_torture_writer() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4678167400380186624
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/rcu/rcutorture.c rcu_torture_writer() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 4678167400380186624
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/rcu/rcutorture.c rcu_torture_writer() -> (struct rcu_torture_ops)->get_gp_state_full()

Type Parameter Key Value
PARAM_VALUE 0 gsp 2457572976439926784
NOCHECK_CALL
HALF_LOCKED2 rcu_read