Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/memcontrol.c __memcg_slab_free_hook() -> slab_obj_ext()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 1 slab->obj_exts_in_object 1
PARAM_VALUE 1 slab->obj_exts_needs_objcg 1
PARAM_VALUE 2 obj_exts 8-u64max
CAPPED_DATA 2 obj_exts 1
CAPPED_DATA 2 obj_exts 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 slab $1
DATA_SOURCE 2 obj_exts $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity

mm/memcontrol.c __memcg_slab_post_alloc_hook() -> slab_obj_ext()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 2 obj_exts 0,8-u64max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 slab r virt_to_slab
DATA_SOURCE 2 obj_exts r slab_obj_exts
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size

mm/memcontrol.c mem_cgroup_from_obj_slab() -> slab_obj_ext()

Type Parameter Key Value
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 1 slab->obj_exts_needs_objcg 1
PARAM_VALUE 2 obj_exts 8-u64max
PARAM_VALUE 3 obj 4096-ptr_max
CAPPED_DATA 3 obj 1
DATA_SOURCE 1 slab $0
DATA_SOURCE 2 obj_exts r slab_obj_exts
DATA_SOURCE 3 obj $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &(&mapping->i_pages)->xa_lock

mm/slub.c memcg_slab_post_charge() -> slab_obj_ext()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 slab 4096-ptr_max
PARAM_VALUE 1 slab->slab_cache 4096-ptr_max
PARAM_VALUE 2 obj_exts 8-u64max
PARAM_VALUE 3 obj 4096-ptr_max
CAPPED_DATA 3 obj 1
DATA_SOURCE 1 slab r page_slab
DATA_SOURCE 2 obj_exts r slab_obj_exts
DATA_SOURCE 3 obj $0
RX_PATH
TASK_NOT_RUNNING
UNITS 3 obj unit_byte
HALF_LOCKED2 sk