|
@@ -46,7 +46,6 @@ void cpu_list_unlock(void);
|
|
unsigned int cpu_list_generation_id_get(void);
|
|
unsigned int cpu_list_generation_id_get(void);
|
|
|
|
|
|
void tcg_flush_softmmu_tlb(CPUState *cs);
|
|
void tcg_flush_softmmu_tlb(CPUState *cs);
|
|
-void tcg_flush_jmp_cache(CPUState *cs);
|
|
|
|
|
|
|
|
void tcg_iommu_init_notifier_list(CPUState *cpu);
|
|
void tcg_iommu_init_notifier_list(CPUState *cpu);
|
|
void tcg_iommu_free_notifier_list(CPUState *cpu);
|
|
void tcg_iommu_free_notifier_list(CPUState *cpu);
|