Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_hmm.c dmirror_range_snapshot() -> dmirror_mkentry()

Type Parameter Key Value
PARAM_VALUE 0 dmirror 4096-ptr_max
PARAM_VALUE 0 dmirror->mutex.dep_map->name 0-255
PARAM_VALUE 0 dmirror->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dmirror->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dmirror->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dmirror->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dmirror->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dmirror->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dmirror->notifier.mm 4096-ptr_max
PARAM_VALUE 0 dmirror->notifier.mm->mm_users.counter 1-s32max
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dmirror->notifier.mm->notifier_subscriptions 1-u64max
PARAM_VALUE 0 dmirror->notifier.mm->notifier_subscriptions->invalidate_seq 2
PARAM_VALUE 0 dmirror->notifier.mm->notifier_subscriptions->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 range 8013330744664424448
PARAM_VALUE 1 range->default_flags 0
PARAM_VALUE 1 range->end 1-18446744073709551614
PARAM_VALUE 1 range->hmm_pfns 6713696327581507584
PARAM_VALUE 1 range->notifier 3003087626218565632
PARAM_VALUE 1 range->notifier->deferred_item->pprev 4096-ptr_max
PARAM_VALUE 1 range->notifier->deferred_item.pprev 4096-ptr_max
PARAM_VALUE 1 range->notifier->interval_tree.start 0-18446744073709551613
PARAM_VALUE 1 range->notifier->mm 4096-ptr_max
PARAM_VALUE 1 range->notifier->mm->notifier_subscriptions 4096-ptr_max
PARAM_VALUE 1 range->notifier->mm->notifier_subscriptions->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 range->notifier->ops 5417104862190780416
PARAM_VALUE 1 range->notifier->ops->invalidate_finish 0,2193403108630056960
PARAM_VALUE 1 range->notifier->ops->invalidate_start 0,7606346720449052672
PARAM_VALUE 1 range->start 0-18446744073709551613
BUF_SIZE 0 dmirror s32min-(-2),1-s32max
BUF_SIZE 0 dmirror s32min-(-2),1-s32max
BUF_SIZE 1 range->notifier 88
CAPPED_DATA 0 &dmirror->mutex 1
CAPPED_DATA 1 range->end 1
CAPPED_DATA 1 range->notifier->invalidate_seq 1
CAPPED_DATA 1 range->notifier_seq 1
CAPPED_DATA 1 range->start 1
DATA_SOURCE 0 dmirror $0
DATA_SOURCE 1 range $1
PARAM_COMPARE 1 range->end > $1->start
PARAM_COMPARE 1 range->notifier->invalidate_seq == $1->notifier_seq
NOSPEC 1 range->end
NOSPEC 1 range->notifier->interval_tree.start
NOSPEC 1 range->start
NOCHECK_CALL
USER_DATA 1 range->end 1-s32max[c]
USER_DATA 1 range->notifier->interval_tree.__subtree_last 0-u64max[c]
USER_DATA 1 range->notifier->interval_tree.start 0-18446744073709551613
USER_DATA 1 range->start 0-18446744073709551613[c]
UNITS 2 perm unit_page
LOCK2 0 &dmirror->mutex
TYPE_LOCK (struct dmirror)->mutex