unsigned int cpu, current_cpu = this_cpu_id();
for_each_cpu_except(cpu, root_cell.cpu_set, current_cpu)
- per_cpu(cpu)->flush_virt_caches = true;
+ per_cpu(cpu)->flush_vcpu_caches = true;
if (cell_added_removed && cell_added_removed != &root_cell)
for_each_cpu_except(cpu, cell_added_removed->cpu_set,
current_cpu)
- per_cpu(cpu)->flush_virt_caches = true;
+ per_cpu(cpu)->flush_vcpu_caches = true;
vcpu_tlb_flush();
}
} while (cpu_data->init_signaled);
- if (cpu_data->flush_virt_caches) {
- cpu_data->flush_virt_caches = false;
+ if (cpu_data->flush_vcpu_caches) {
+ cpu_data->flush_vcpu_caches = false;
vcpu_tlb_flush();
}
* @li per_cpu::wait_for_sipi
* @li per_cpu::init_signaled
* @li per_cpu::sipi_vector
- * @li per_cpu::flush_virt_caches
+ * @li per_cpu::flush_vcpu_caches
*/
spinlock_t control_lock;
bool init_signaled;
/** Pending SIPI vector; -1 if none is pending. */
int sipi_vector;
- /** Set to true for pending a flush of guest-related CPU caches. */
- bool flush_virt_caches;
+ /** Set to true for a pending TLB flush for the paging layer that does
+ * host physical <-> guest physical memory mappings */
+ bool flush_vcpu_caches;
/** Set to true for instructing the CPU to disable hypervisor mode. */
bool shutdown_cpu;
/** State of the shutdown process. Possible values: