Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/hugetlb_vmemmap.c vmemmap_remap_alloc() -> vmemmap_remap_range()

Type Parameter Key Value
PARAM_VALUE 0 start 4096-ptr_max
PARAM_VALUE 0 start->flags.f 0-s64max
PARAM_VALUE 2 walk 9096355248100884480
PARAM_VALUE 2 walk->flags 0,2
PARAM_VALUE 2 walk->remap_pte 4706742853139075072
PARAM_VALUE 2 walk->vmemmap_pages 7552931192899936256
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &h->resize_lock

mm/hugetlb_vmemmap.c vmemmap_remap_free() -> vmemmap_remap_range()

Type Parameter Key Value
PARAM_VALUE 0 start 4096-18446744073709547520
PARAM_VALUE 2 walk 2763064670750568448
PARAM_VALUE 2 walk->flags 0,2
PARAM_VALUE 2 walk->remap_pte 882073409139908608
PARAM_VALUE 2 walk->vmemmap_head 4096-ptr_max
PARAM_VALUE 2 walk->vmemmap_pages 5545035107466895360,8062230364507418624
PARAM_VALUE 2 walk->vmemmap_tail 1-u64max
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
RX_PATH
TASK_NOT_RUNNING

mm/hugetlb_vmemmap.c vmemmap_remap_free() -> vmemmap_remap_range()

Type Parameter Key Value
PARAM_VALUE 0 start 4096-18446744073709547520
PARAM_VALUE 2 walk 2763064670750568448
DATA_SOURCE 0 start $0
PARAM_COMPARE 0 start <= $1
PARAM_COMPARE 1 end >= $0
PARAM_COMPARE 1 end >= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte

mm/hugetlb_vmemmap.c vmemmap_remap_split() -> vmemmap_remap_range()

Type Parameter Key Value
PARAM_VALUE 0 start 4096-18446744073709547520
PARAM_VALUE 2 walk 2542347507060039680
PARAM_VALUE 2 walk->flags 1
PARAM_VALUE 2 walk->remap_pte 0
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &h->resize_lock