Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dmirror 4096-ptr_max
PARAM_VALUE 0 dmirror->notifier.mm 4096-ptr_max
PARAM_VALUE 0 dmirror->notifier.mm->mm_users.counter 0-s32max
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dmirror->notifier.mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 range 8013330744664424448
PARAM_VALUE 1 range->default_flags 0
PARAM_VALUE 1 range->end 0-18446744073709551614
PARAM_VALUE 1 range->hmm_pfns 6713696327581507584
PARAM_VALUE 1 range->notifier 0,3003087626218565632
PARAM_VALUE 1 range->start 0-18446744073709551613
PARAM_VALUE 2 perm 8526807414160830464
BUF_SIZE 0 dmirror s32min-(-2),1-s32max
BUF_SIZE 0 dmirror s32min-(-2),1-s32max
BUF_SIZE 2 perm 32
DATA_SOURCE 0 dmirror $0
USER_DATA 1 range->end 1-s32max[c]
USER_DATA 1 range->start 0-18446744073709551613[c]