Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/khugepaged.c collapse_huge_page() -> check_pmd_still_valid()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 address 0,2097152-18446744073707454464
PARAM_VALUE 2 pmd 4096-ptr_max
CAPPED_DATA 0 mm->mm_mt.ma_root 1
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 0 mm $0
BIT_INFO 1 address 0x0,0xffffffffffe00000
BIT_INFO 1 address 0x0,0xffffffffffe00000
NOSPEC 1 address
NOSPEC 1 address
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 address 0,2097152-18446744073707454464[c]
UNITS 0 mm unit_byte
LOCK2 0 &mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock