Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __free_to_pcs_batch() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->sheaf_capacity 1
DATA_SOURCE 0 s $0
CONSTRAINT 0 s->sheaf_capacity <=3018
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size

mm/slub.c __kfree_rcu_sheaf() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD <- disables preempt

mm/slub.c __pcs_replace_empty_main() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

mm/slub.c __pcs_replace_full_main() -> get_barn()

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

mm/slub.c alloc_from_pcs_bulk() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

mm/slub.c kmem_cache_prefill_sheaf() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING

mm/slub.c kmem_cache_return_sheaf() -> get_barn()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->sheaf_capacity 1
DATA_SOURCE 0 s $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING