diff options
Diffstat (limited to 'linux-user')
| -rw-r--r-- | linux-user/user-internals.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux-user/user-internals.h b/linux-user/user-internals.h index 3576da4..9333db4 100644 --- a/linux-user/user-internals.h +++ b/linux-user/user-internals.h @@ -20,6 +20,7 @@ #include "exec/user/thunk.h" #include "exec/exec-all.h" +#include "exec/tb-flush.h" #include "qemu/log.h" extern char *exec_path; |