diff options
Diffstat (limited to 'exec-all.h')
| -rw-r--r-- | exec-all.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exec-all.h b/exec-all.h index 9c7e5ed83f..407e963281 100644 --- a/exec-all.h +++ b/exec-all.h @@ -85,7 +85,7 @@ int page_unprotect(unsigned long address); void tb_invalidate_page_range(target_ulong start, target_ulong end); void tlb_flush_page(CPUState *env, uint32_t addr); void tlb_flush_page_write(CPUState *env, uint32_t addr); -void tlb_flush(CPUState *env); +void tlb_flush(CPUState *env, int flush_global); int tlb_set_page(CPUState *env, uint32_t vaddr, uint32_t paddr, int prot, int is_user, int is_softmmu); |