Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/power/snapshot.c saveable_page() -> page_is_guard()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page r pfn_to_online_page
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
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 __free_one_page() -> page_is_guard()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page r find_buddy_page_pfn
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &zone->lock
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_is_guard()

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