Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->count s32min-(-2),0-2147483646
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner_cpu 0
PARAM_VALUE 0 object->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 object->min_count (-2147483647)-s32max
CAPPED_DATA 0 object->count 1
CAPPED_DATA 0 object->min_count 1
PARAM_COMPARE 0 object->count < $0->min_count
BIT_INFO 0 object->flags 0x1,0xffffffff
PREEMPT_ADD <- disables preempt
LOCK2 global &scan_mutex
LOCK2 irq
LOCK2 rcu_read
LOCK2 0 &object->lock
TYPE_LOCK (struct kmemleak_object)->lock