Defined in 1 files as a function:
Referenced in 8 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| HALF_LOCKED2 |
|
&vcpu->kvm->srcu |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| HALF_LOCKED2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| HALF_LOCKED2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| HALF_LOCKED2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| HALF_LOCKED2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
324 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
290 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
313 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
600 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
600 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
755 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
194 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
609 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
664 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
244 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
59 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
59 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
534 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
154 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
295 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
308 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
288 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
515 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
514 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
133 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
145 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
410 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| LOCK2 |
|
&vcpu->kvm->srcu |
|
| LOCK2 |
|
&vcpu->mutex |
|
| TYPE_LOCK |
|
(struct kvm)->srcu |
|
| TYPE_LOCK |
|
(struct kvm_vcpu)->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
61 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
52 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
57 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
648 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
194 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
323 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
298 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
59 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
215 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
59 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
534 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
517 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
313 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
313 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
313 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
313 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
244 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
324 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
61 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| LOCK2 |
|
_T->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| HALF_LOCKED2 |
|
&vcpu->kvm->srcu |
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
528 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
324 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
596 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
519 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
x86_feature |
481 |