diff options
Diffstat (limited to 'accel/tcg/internal-target.h')
| -rw-r--r-- | accel/tcg/internal-target.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/accel/tcg/internal-target.h b/accel/tcg/internal-target.h index fe109724c6..a03c05315a 100644 --- a/accel/tcg/internal-target.h +++ b/accel/tcg/internal-target.h @@ -37,6 +37,7 @@ void page_table_config_init(void); #endif #ifdef CONFIG_USER_ONLY +#include "user/page-protection.h" /* * For user-only, page_protect sets the page read-only. * Since most execution is already on read-only pages, and we'd need to |