Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/hugetlb.c coalesce_file_region() -> has_same_uncharge_info()

Type Parameter Key Value
PARAM_VALUE 0 rg 4096-ptr_max
PARAM_VALUE 1 org 4096-ptr_max
PARAM_VALUE 1 org->css 0,4096-ptr_max
PARAM_VALUE 1 org->reservation_counter 0,4096-ptr_max
CAPPED_DATA 0 rg->to 1
CAPPED_DATA 1 org->from 1
CAPPED_DATA 1 org->to 1
DATA_SOURCE 1 org $1
PARAM_COMPARE 0 rg->to == $1->from
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 org->to 0-s64max[c]
LOCK2 &resv->lock
TYPE_LOCK (struct resv_map)->lock

mm/hugetlb.c coalesce_file_region() -> has_same_uncharge_info()

Type Parameter Key Value
PARAM_VALUE 0 rg 4096-ptr_max
PARAM_VALUE 1 org 4096-ptr_max
PARAM_VALUE 1 org->css 0,4096-ptr_max
CAPPED_DATA 0 rg->from 1
CAPPED_DATA 1 org->to 1
DATA_SOURCE 1 org $1 [m]
PARAM_COMPARE 0 rg->from == $1->to
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 org->from 1-8796093022207[c]
LOCK2 &resv->lock
TYPE_LOCK (struct resv_map)->lock