Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_alloc.c __free_one_page() -> task_capc()

Type Parameter Key Value
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
DATA_SOURCE 0 zone $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &zone->lock
TYPE_LOCK (struct zone)->lock