|
@@ -1007,9 +1007,11 @@ static void __loaded_vmcs_clear(void *arg)
|
|
|
|
|
|
static void loaded_vmcs_clear(struct loaded_vmcs *loaded_vmcs)
|
|
|
{
|
|
|
- if (loaded_vmcs->cpu != -1)
|
|
|
- smp_call_function_single(
|
|
|
- loaded_vmcs->cpu, __loaded_vmcs_clear, loaded_vmcs, 1);
|
|
|
+ int cpu = loaded_vmcs->cpu;
|
|
|
+
|
|
|
+ if (cpu != -1)
|
|
|
+ smp_call_function_single(cpu,
|
|
|
+ __loaded_vmcs_clear, loaded_vmcs, 1);
|
|
|
}
|
|
|
|
|
|
static inline void vpid_sync_vcpu_single(struct vcpu_vmx *vmx)
|