Open Menu /

Defined in 1 files as a prototype:

Defined in 7 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_fault() -> kvm_arch_vcpu_fault()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 1 vmf 4096-ptr_max
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
BUF_SIZE 1 vmf->cow_page (-1),64
BUF_SIZE 1 vmf->vma (-1),4,24,64,168-s32max
CAPPED_DATA 1 vmf->pgoff 1
CAPPED_DATA 1 vmf->vma 1
DATA_SOURCE 1 vmf $0
NOSPEC 1 vmf->address
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vmf->address 0-u64max[c]
USER_DATA 1 vmf->pgoff 3-4503599627370495[c]
USER_DATA 1 vmf->pte 4096-ptr_max[u]
USER_DATA 1 vmf->real_address 0-u64max[c]
NO_OVERFLOW_SIMPLE 1 vmf->vma->vm_end
NO_OVERFLOW_SIMPLE 1 vmf->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vmf->vma->vm_start