Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 15 files:

Smatch caller information:

mm/kmemleak.c __kmemleak_scan() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 0 _start 4096-ptr_max
PARAM_VALUE 2 scanned 0
DATA_SOURCE 0 _start r pfn_to_online_page
LOCK2 global &scan_mutex

mm/kmemleak.c kmemleak_scan_task_stacks() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 0 _start 1-u64max
PARAM_VALUE 1 _end 4096-ptr_max
PARAM_VALUE 2 scanned 0
DATA_SOURCE 0 _start r try_get_task_stack
LOCK2 global &scan_mutex

mm/kmemleak.c scan_large_block() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 0 _start 0-18446744073709551614
PARAM_VALUE 0 *_start 0-255
PARAM_VALUE 1 _end 1-ptr_max
PARAM_VALUE 2 scanned 0
CAPPED_DATA 0 _start 1
CAPPED_DATA 0 *_start 1
CAPPED_DATA 1 *_end 1
DATA_SOURCE 0 _start $0 [m]
PARAM_COMPARE 0 _start < $1
PARAM_COMPARE 1 _end <= $0
PARAM_COMPARE 1 _end > $0
PARAM_COMPARE 1 _end > $0
LOCK2 global &scan_mutex

mm/kmemleak.c scan_object() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 1 _end 4096-ptr_max
PARAM_VALUE 2 scanned 4096-ptr_max
PARAM_VALUE 2 scanned->lock.dep_map->name 0-255
PARAM_VALUE 2 scanned->lock.owner_cpu 0
PARAM_VALUE 2 scanned->lock.raw_lock.val.counter 0-s32max
DATA_SOURCE 2 scanned $0
PARAM_COMPARE 0 _start <= $1
PARAM_COMPARE 1 _end >= $0
PARAM_COMPARE 1 _end >= $0
BIT_INFO 2 scanned->flags 0x21,0xfffffffb
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 _end unit_byte
LOCK2 flags
LOCK2 global &scan_mutex
LOCK2 2 &scanned->lock
TYPE_LOCK (struct kmemleak_object)->lock

mm/kmemleak.c scan_object() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 1 _end 4096-ptr_max
PARAM_VALUE 2 scanned 4096-ptr_max
PARAM_VALUE 2 scanned->lock.dep_map->name 0-255
PARAM_VALUE 2 scanned->lock.owner_cpu 0
PARAM_VALUE 2 scanned->lock.raw_lock.val.counter 0-s32max
CAPPED_DATA 1 *_end 1
DATA_SOURCE 2 scanned $0
PARAM_COMPARE 0 _start <= $1
PARAM_COMPARE 1 _end <= $0
PARAM_COMPARE 1 _end >= $0
PARAM_COMPARE 1 _end >= $0
BIT_INFO 2 scanned->flags 0x1,0xffffffdb
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 _start unit_byte
UNITS 1 _end unit_byte
LOCK2 flags
LOCK2 global &scan_mutex
LOCK2 2 &scanned->lock
TYPE_LOCK (struct kmemleak_object)->lock

mm/kmemleak.c scan_object() -> scan_block()

Type Parameter Key Value
PARAM_VALUE 2 scanned 4096-ptr_max
PARAM_VALUE 2 scanned->area_list.first 1-u64max
PARAM_VALUE 2 scanned->lock.dep_map->name 0-255
PARAM_VALUE 2 scanned->lock.owner_cpu 0
PARAM_VALUE 2 scanned->lock.raw_lock.val.counter 0-s32max
DATA_SOURCE 2 scanned $0
BIT_INFO 2 scanned->flags 0x1,0xffffffd3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 _start unit_byte
UNITS 1 _end unit_byte
LOCK2 flags
LOCK2 global &scan_mutex
LOCK2 2 &scanned->lock
TYPE_LOCK (struct kmemleak_object)->lock