|
@@ -25,6 +25,7 @@
|
|
#include "signal-common.h"
|
|
#include "signal-common.h"
|
|
#include "semihosting/common-semi.h"
|
|
#include "semihosting/common-semi.h"
|
|
#include "exec/page-protection.h"
|
|
#include "exec/page-protection.h"
|
|
|
|
+#include "user/page-protection.h"
|
|
#include "target/arm/syndrome.h"
|
|
#include "target/arm/syndrome.h"
|
|
|
|
|
|
#define get_user_code_u32(x, gaddr, env) \
|
|
#define get_user_code_u32(x, gaddr, env) \
|