Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/slub.c __rcu_free_sheaf_prepare() -> slab_want_init_on_free()

Type Parameter Key Value
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

mm/slub.c free_to_pcs_bulk() -> slab_want_init_on_free()

Type Parameter Key Value
PARAM_VALUE 0 c 1-u64max
DATA_SOURCE 0 c $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->object_size

mm/slub.c maybe_wipe_obj_freeptr() -> slab_want_init_on_free()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
CAPPED_DATA 0 c 1
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->object_size
NO_OVERFLOW_SIMPLE 0 c->sheaf_capacity

mm/slub.c memcg_alloc_abort_single() -> slab_want_init_on_free()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->object_size

mm/slub.c slab_free() -> slab_want_init_on_free()

Type Parameter Key Value
DATA_SOURCE 0 c $0
RX_PATH
TASK_NOT_RUNNING

mm/slub.c slab_free_after_rcu_debug() -> slab_want_init_on_free()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
BIT_INFO 0 c->flags 0x200,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

mm/slub.c slab_free_freelist_hook() -> slab_want_init_on_free()

Type Parameter Key Value
DATA_SOURCE 0 c $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 c->object_size
NO_OVERFLOW_SIMPLE 0 c->sheaf_capacity
HALF_LOCKED2 rcu

mm/kasan/quarantine.c qlink_free() -> slab_want_init_on_free()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
DATA_SOURCE 0 c $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &remove_cache_srcu

mm/kfence/core.c kfence_guarded_free() -> slab_want_init_on_free()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &meta->lock
LOCK2 flags
TYPE_LOCK (struct kfence_metadata)->lock