Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/pfncache.c __kvm_gpc_refresh() -> kvm_is_error_gpa()

Type Parameter Key Value
DATA_SOURCE 0 gpa $1
NOSPEC 0 gpa
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614
UNITS 0 gpa unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/../../../virt/kvm/pfncache.c __kvm_gpc_refresh() -> kvm_is_error_gpa()

Type Parameter Key Value
DATA_SOURCE 0 gpa $1
NOSPEC 0 gpa
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614
UNITS 0 gpa unit_byte
LOCK2 &gpc->lock
LOCK2 _T->lock
LOCK2 irq
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
TYPE_LOCK (struct gfn_to_pfn_cache)->lock

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

Type Parameter Key Value
DATA_SOURCE 0 gpa $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614
UNITS 0 gpa 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_check() -> kvm_is_error_gpa()

Type Parameter Key Value
NOSPEC 0 gpa
NOSPEC 0 gpa
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614[c]
UNITS 0 gpa unit_byte
LOCK2 &gpc->lock
HALF_LOCKED2 &gpc1->lock
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &v->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct gfn_to_pfn_cache)->lock

arch/x86/kvm/../../../virt/kvm/pfncache.c kvm_gpc_is_valid_len() -> kvm_is_error_gpa()

Type Parameter Key Value
DATA_SOURCE 0 gpa $0
NOSPEC 0 gpa
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614
UNITS 0 gpa unit_byte
HALF_LOCKED2 &gpc->lock
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/pfncache.c kvm_gpc_refresh() -> kvm_is_error_gpa()

Type Parameter Key Value
NOSPEC 0 gpa
NOSPEC 0 gpa
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gpa 0-18446744073709551614[c]
UNITS 0 gpa unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &kvm->arch.xen.shinfo_cache.lock
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &v->mutex

arch/x86/kvm/xen.c kvm_gpc_is_gpa_active() -> kvm_is_error_gpa()

Type Parameter Key Value
UNITS 0 gpa unit_byte
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_gpc_is_hva_active() -> kvm_is_error_gpa()

Type Parameter Key Value
UNITS 0 gpa unit_byte
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock