Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/x86.c kvm_vm_ioctl_enable_cap() -> kvm_disable_exits()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
CAPPED_DATA 0 kvm->mm 1
CAPPED_DATA 0 &kvm->lock 1
DATA_SOURCE 0 kvm $0
NOCHECK_CALL
USER_DATA 1 mask 0-u64max
LOCK2 0 &kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/svm/svm.c svm_vm_init() -> kvm_disable_exits()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 mask 4
DATA_SOURCE 0 kvm $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vm_init() -> kvm_disable_exits()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 mask 4
DATA_SOURCE 0 kvm $0
NOCHECK_CALL