Defined in 1 files as a prototype:
Defined in 6 files as a function:
- arch/arm64/kvm/arm.c, line 135 (as a function)
- arch/powerpc/kvm/powerpc.c, line 2194 (as a function)
- arch/riscv/kvm/vm.c, line 215 (as a function)
- arch/s390/kvm/kvm-s390.c, line 787 (as a function)
- arch/x86/kvm/x86.c, line 3944 (as a function)
- virt/kvm/kvm_main.c, line 5023 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vm_ioctl_enable_cap_generic() -> kvm_vm_ioctl_enable_cap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | kvm->vm_dead | 0 |
| PARAM_VALUE | 1 | cap | 2358358832954540032 |
| PARAM_VALUE | 1 | cap->cap | 0-167,169-181,183-191,193-222,224,226-u32max |
| 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 |
| DATA_SOURCE | 1 | cap | $1 |
| USER_DATA | 1 | cap->cap | 0-167,169-181,183-191,193-222,224,226-u32max |
| USER_DATA | 1 | cap->flags | 0-u32max |
| USER_PTR | 1 | cap->args | |
| USER_PTR | 1 | cap->pad |