Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/rcu/tree.c debug_rcu_head_queue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 1 descr->name 0,4096-ptr_max
PARAM_VALUE 2 expect 0
PARAM_VALUE 3 next 1
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 global &rcu_state.barrier_lock

kernel/rcu/tree.c debug_rcu_head_unqueue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 2 expect 1
PARAM_VALUE 3 next 0
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rcu_state.barrier_lock

mm/slab_common.c debug_rcu_head_queue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 1 descr->name 0,4096-ptr_max
PARAM_VALUE 2 expect 0
PARAM_VALUE 3 next 1
DATA_SOURCE 0 addr $0
NOCHECK_CALL

mm/slab_common.c debug_rcu_head_unqueue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 2 expect 1
PARAM_VALUE 3 next 0
DATA_SOURCE 0 addr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/srcutree.c debug_rcu_head_queue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 1 descr->name 0,4096-ptr_max
PARAM_VALUE 2 expect 0
PARAM_VALUE 3 next 1
BUF_SIZE 0 addr (-1),1-262144
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdp->lock
HALF_LOCKED2 &ssp->srcu_sup->srcu_barrier_mutex
HALF_LOCKED2 irq

kernel/rcu/srcutree.c debug_rcu_head_unqueue() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 1 descr 8008282326833516544
PARAM_VALUE 2 expect 1
PARAM_VALUE 3 next 0
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdp->lock
HALF_LOCKED2 &ssp->srcu_sup->srcu_barrier_mutex
HALF_LOCKED2 irq

drivers/gpu/drm/i915/i915_sw_fence.c debug_fence_set_state() -> debug_object_active_state()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 descr 4088253614454161408
PARAM_VALUE 2 expect 0-1
PARAM_VALUE 3 next 0-1
DATA_SOURCE 0 addr $0
DATA_SOURCE 2 expect $1
DATA_SOURCE 3 next $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 flags