Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_set_memory_region() -> kvm_check_memslot_overlap()

Type Parameter Key Value
PARAM_VALUE 0 slots 4096-ptr_max
PARAM_VALUE 1 id 0-32766
PARAM_VALUE 2 start 0-4503599627370495
PARAM_VALUE 3 end 0-9007199254740990
CAPPED_DATA 1 id 1
CAPPED_DATA 2 start 1
CAPPED_DATA 2 start 1
CAPPED_DATA 3 end 1
DATA_SOURCE 0 slots r __kvm_memslots
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 id 0-32763[c]
USER_DATA 2 start 0-524287[c]
USER_DATA 3 end 0-4503599627894782[c]
UNITS 2 start unit_page
UNITS 3 end unit_page
HALF_LOCKED2 _T->lock