Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/xen.c kvm_xen_destroy_vcpu() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/xen.c kvm_xen_destroy_vcpu() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/xen.c kvm_xen_destroy_vcpu() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/xen.c kvm_xen_destroy_vcpu() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/xen.c kvm_xen_destroy_vm() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock

arch/x86/kvm/xen.c kvm_xen_hvm_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &kvm->arch.xen.xen_lock
LOCK2 &kvm->srcu
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_hvm_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &kvm->arch.xen.xen_lock
LOCK2 &kvm->srcu
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 gpc->pfn 0-4503599627370494[c]
USER_DATA 0 gpc->uhva 0-u64max[c]
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/xen.c kvm_xen_vcpu_set_attr() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL
LOCK2 &vcpu->kvm->arch.xen.xen_lock
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex
TYPE_LOCK (struct kvm_xen)->xen_lock

arch/x86/kvm/x86.c kvmclock_reset() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/msrs.c kvm_write_system_time() -> kvm_gpc_deactivate()

Type Parameter Key Value
PARAM_VALUE 0 gpc 4096-ptr_max
NOCHECK_CALL