Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_table_check.c __page_table_check_pmds_set() -> page_table_check_set()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
PARAM_VALUE 1 pgcnt 512
BIT_INFO 0 pfn 0x0,0xffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 ptl
HALF_LOCKED2 vmf->ptl

mm/page_table_check.c __page_table_check_ptes_set() -> page_table_check_set()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
CAPPED_DATA 1 pgcnt 1
DATA_SOURCE 1 pgcnt $4
BIT_INFO 0 pfn 0x0,0xffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pgcnt unit_page
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 old_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

mm/page_table_check.c __page_table_check_puds_set() -> page_table_check_set()

Type Parameter Key Value
PARAM_VALUE 0 pfn 0-1099511627775
PARAM_VALUE 1 pgcnt 262144
CAPPED_DATA 2 rw 1
BIT_INFO 0 pfn 0x0,0xffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 old_ptl
HALF_LOCKED2 ptl