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() -> check_memory_region_flags()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 mem 2111760088011575296,7866932866179629056
BUF_SIZE 0 kvm s32min-(-1),1-s32max
BUF_SIZE 0 kvm s32min-(-1),1-s32max
CAPPED_DATA 0 kvm 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 mem $1
STR_LEN 0 kvm->arch.vm_type (-1)
STR_LEN 0 kvm->stats_id (-1),47
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 kvm->arch.has_private_mem 0[c]
USER_DATA 0 kvm->arch.pre_fault_allowed 0-1
USER_DATA 0 kvm->arch.xen.shinfo_cache.kvm->arch.has_private_mem 0[c]
USER_DATA 0 kvm->arch.xen.shinfo_cache.kvm->arch.pre_fault_allowed 0-1
USER_DATA 0 kvm->arch.xen.shinfo_cache.kvm->arch.vm_type 0-31
USER_DATA 1 mem->flags 0-u32max
USER_DATA 1 mem->guest_memfd 0-u32max
USER_DATA 1 mem->guest_memfd_offset 0-u64max
USER_DATA 1 mem->guest_phys_addr 0-u64max
USER_DATA 1 mem->memory_size 0-u64max
USER_DATA 1 mem->pad1 0-u32max
USER_DATA 1 mem->slot 0-32763
USER_DATA 1 mem->userspace_addr 0-u64max
NO_OVERFLOW_SIMPLE 0 kvm->nr_memslot_pages
UNITS 0 kvm unit_byte
USER_PTR 1 mem->pad2
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &kvm->lock
HALF_LOCKED2 0 &kvm->slots_lock