Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/show_mem.c show_free_areas() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 0-5
FUZZY_MAX 1 migratetype 5
HARD_MAX 1 migratetype 5
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &zone->lock
LOCK2 flags
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 global &kbd_event_lock
HALF_LOCKED2 global &oom_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct zone)->lock

mm/compaction.c __compact_finished() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

mm/compaction.c __compact_finished() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 4
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c __zone_watermark_ok() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 0-2
FUZZY_MAX 1 migratetype 2
HARD_MAX 1 migratetype 2
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c __zone_watermark_ok() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 4
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c __zone_watermark_ok() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 3
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c find_suitable_fallback() -> free_area_empty()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
PARAM_VALUE 1 migratetype 0-1
DATA_SOURCE 0 area $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 flags