Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c sheaf_flush_main() -> __sheaf_flush_main_batch()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->sheaf_capacity 1-u32max
DATA_SOURCE 0 s $0
PREEMPT_ADD <- disables preempt
HALF_LOCKED2 &pool->lock

mm/slub.c sheaf_try_flush_main() -> __sheaf_flush_main_batch()

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