Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/pfncache.c kvm_gpc_activate() -> __kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa 0-18446744073709551614
PARAM_VALUE 2 uhva 18379471554275704832,18446612682070032384
PARAM_VALUE 3 len 1-4096,18446744073709547564-u64max
BUF_SIZE 0 gpc (-1),304
BUF_SIZE 0 gpc (-1),304
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 gpc $0
DATA_SOURCE 1 gpa $1
DATA_SOURCE 3 len $2
FUZZY_MAX 3 len 46
NOSPEC 0 gpc->gpa
NOSPEC 0 gpc->pfn
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpc->gpa 0-18446744073709551614[c]
USER_DATA 0 gpc->pfn 0-4503599627370494[c]
USER_DATA 0 gpc->uhva 0-u64max[c]
USER_DATA 1 gpa 0-18446744073709551614
USER_DATA 3 len 1-4096,18446744073709547564-u64max[c]
UNITS 1 gpa unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/../../../virt/kvm/pfncache.c kvm_gpc_activate_hva() -> __kvm_gpc_activate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
PARAM_VALUE 1 gpa u64max
PARAM_VALUE 2 uhva 1-u64max
PARAM_VALUE 3 len 64,4096
CAPPED_DATA 2 uhva 1
CAPPED_DATA 2 uhva 1
DATA_SOURCE 0 gpc $0
DATA_SOURCE 2 uhva $1
DATA_SOURCE 3 len $2
HARD_MAX 3 len 4096
USER_DATA 2 uhva 1-u64max[c]
UNITS 2 uhva unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_xen)->xen_lock