Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/page_isolation.c page_is_buddy() -> page_zone_id()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
DATA_SOURCE 0 page $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &pcp_batch_high_lock
TYPE_LOCK (struct zone)->lock

mm/page_isolation.c page_is_buddy() -> page_zone_id()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &pcp_batch_high_lock
TYPE_LOCK (struct zone)->lock

mm/page_alloc.c __pageblock_pfn_to_page() -> page_zone_id()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
DATA_SOURCE 0 page r pfn_to_online_page
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c __pageblock_pfn_to_page() -> page_zone_id()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page

mm/page_alloc.c page_is_buddy() -> page_zone_id()

Type Parameter Key Value
DATA_SOURCE 0 page $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 page 4096-s32max[c]
HOST_DATA 0 page->private 0-9[c]
USER_DATA 0 page 4096-s32max[c]
USER_DATA 0 page->private 0-9[c]
UNITS 0 page unit_page
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct zone)->lock

mm/page_alloc.c page_is_buddy() -> page_zone_id()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &zone->lock
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct zone)->lock