Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/ptdump.c ptdump_walk_pgd() -> walk_page_range_debug()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 start 0,4362862139015168,18374695275764645888,18379190079298994176,18446612132314218496
PARAM_VALUE 2 end 0,140737488355328,72057594037927936,u64max
PARAM_VALUE 3 ops 2538436070775504896
PARAM_VALUE 5 private 8168795432078680064
DATA_SOURCE 0 mm $1
DATA_SOURCE 4 pgd $2
DATA_SOURCE 5 private $0
PARAM_COMPARE 1 start > $2
PARAM_COMPARE 2 end < $1
PARAM_COMPARE 2 end < $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 0 &mm->mmap_lock
HALF_LOCKED2 &m->lock
HALF_LOCKED2 global &init_mm.mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock