Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/page_isolation.c unset_migratetype_isolate() -> clear_pfnblock_bit()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 0 page->page_type u32max
PARAM_VALUE 0 page->private 0
PARAM_VALUE 1 pfn 0-12384898975264768,9223396226110586880-u64max
PARAM_VALUE 2 pb_bit 4
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
UNITS 1 pfn unit_page
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &pcp_batch_high_lock
TYPE_LOCK (struct zone)->lock

mm/compaction.c __reset_isolation_pfn() -> clear_pfnblock_bit()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 pfn 0-12384898975264768,9223396226110586880-u64max
PARAM_VALUE 2 pb_bit 3
CAPPED_DATA 0 page 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/compaction.c __reset_isolation_pfn() -> clear_pfnblock_bit()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 pfn 0-12384898975264768,9223396226110586880-u64max
PARAM_VALUE 2 pb_bit 3
CAPPED_DATA 0 page 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/page_alloc.c toggle_pageblock_isolate() -> clear_pfnblock_bit()

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