Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_dev_ioctl() -> kvm_vm_ioctl_check_extension_generic()

Type Parameter Key Value
PARAM_VALUE 0 kvm 0
DATA_SOURCE 1 arg $2
USER_DATA 1 arg s64min-s64max

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vm_ioctl() -> kvm_vm_ioctl_check_extension_generic()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->vm_dead 0
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
CAPPED_DATA 0 kvm->mm 1
DATA_SOURCE 1 arg $2
USER_DATA 1 arg s64min-s64max

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vm_ioctl_enable_cap_generic() -> kvm_vm_ioctl_check_extension_generic()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->vm_dead 0
PARAM_VALUE 1 arg 192,223
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
CAPPED_DATA 0 kvm->mm 1
DATA_SOURCE 0 kvm $0
USER_DATA 1 arg 192,223