Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0-4294967294
PARAM_VALUE 5 free_pages 0-s64max
BIT_INFO 5 free_pages 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 order unit_byte

mm/compaction.c __compaction_suitable() -> __zone_watermark_ok()

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0
PARAM_VALUE 4 alloc_flags 128
BUF_SIZE 0 z (-1),81920
BUF_SIZE 0 z (-1),81920
DATA_SOURCE 0 z $0
DATA_SOURCE 2 mark $2
DATA_SOURCE 3 highest_zoneidx $3
DATA_SOURCE 5 free_pages $4
RX_PATH
TASK_NOT_RUNNING

mm/compaction.c compaction_suit_allocation_order() -> __zone_watermark_ok()

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 5 free_pages 0-s64max
DATA_SOURCE 0 z $0
DATA_SOURCE 1 order $1
DATA_SOURCE 2 mark r wmark_pages
DATA_SOURCE 3 highest_zoneidx $2
DATA_SOURCE 4 alloc_flags $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 1-10[c]
USER_DATA 1 order 1-10[c]
UNITS 1 order unit_byte

mm/compaction.c compaction_suit_allocation_order() -> __zone_watermark_ok()

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0
PARAM_VALUE 4 alloc_flags 0
PARAM_VALUE 5 free_pages 0-s64max
DATA_SOURCE 0 z $0
DATA_SOURCE 3 highest_zoneidx $2
BIT_INFO 5 free_pages 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0-10
PARAM_VALUE 3 highest_zoneidx 0-2
PARAM_VALUE 4 alloc_flags 256-u32max
CAPPED_DATA 1 order 1
CAPPED_DATA 3 highest_zoneidx 1
DATA_SOURCE 1 order $1
DATA_SOURCE 2 mark r min_wmark_pages
DATA_SOURCE 4 alloc_flags $3
FUZZY_MAX 1 order 4
NOSPEC 1 order
NOSPEC 1 order
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 0-10[c]
USER_DATA 1 order 0-10[c]
UNITS 1 order unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0-10
PARAM_VALUE 5 free_pages 0-s64max
CAPPED_DATA 1 order 1
DATA_SOURCE 0 z $0
DATA_SOURCE 1 order $1
DATA_SOURCE 2 mark $2
DATA_SOURCE 3 highest_zoneidx $3
DATA_SOURCE 4 alloc_flags $4
DATA_SOURCE 5 free_pages r zone_page_state
FUZZY_MAX 1 order 4
NOSPEC 1 order
NOSPEC 1 order
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 0-10[c]
USER_DATA 1 order 0-10[c]
UNITS 1 order unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 0 z->lowmem_reserve 4096-ptr_max
PARAM_VALUE 1 order 0
PARAM_VALUE 4 alloc_flags 32-u32max
PARAM_VALUE 5 free_pages 0-s64max
CAPPED_DATA 5 free_pages 1
CAPPED_DATA 5 free_pages 1
DATA_SOURCE 0 z $0
DATA_SOURCE 1 order $1
DATA_SOURCE 3 highest_zoneidx $3
DATA_SOURCE 4 alloc_flags $4
DATA_SOURCE 5 free_pages r zone_page_state
BIT_INFO 4 alloc_flags 0x20,0xfffffffc
NOSPEC 1 order
NOSPEC 1 order
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 0[c]
USER_DATA 1 order 0[c]
UNITS 1 order unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0-127,4294967168-u32max
PARAM_VALUE 4 alloc_flags 0,8-u32max
PARAM_VALUE 5 free_pages 0-s64max
BUF_SIZE 0 z (-1)-0,81920
BUF_SIZE 0 z (-1)-0,81920
CAPPED_DATA 0 z 1
CAPPED_DATA 1 order 1
DATA_SOURCE 0 z $0
DATA_SOURCE 1 order $1
DATA_SOURCE 2 mark $2
DATA_SOURCE 3 highest_zoneidx $3
DATA_SOURCE 4 alloc_flags $4
FUZZY_MAX 1 order 4
BIT_INFO 4 alloc_flags 0x0,0x7fffffff
NOSPEC 1 order
NOSPEC 1 order
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 0-10[c]
USER_DATA 1 order 0-10[c]
UNITS 1 order unit_byte
HALF_LOCKED2 vmf->ptl

mm/vmscan.c pgdat_balanced() -> __zone_watermark_ok()

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 1 order 0-255,4294967168-u32max
PARAM_VALUE 3 highest_zoneidx 0-s32max
PARAM_VALUE 4 alloc_flags 0
PARAM_VALUE 5 free_pages 0-s64max
BUF_SIZE 0 z (-1),81920
BUF_SIZE 0 z (-1),81920
CAPPED_DATA 1 order 1
CAPPED_DATA 5 free_pages 1
DATA_SOURCE 1 order $1
DATA_SOURCE 3 highest_zoneidx $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 order 1-10[c]
USER_DATA 1 order 1-10[c]
UNITS 1 order unit_byte