|
@@ -12,9 +12,17 @@
|
|
|
#error Cannot include this header from system emulation
|
|
|
#endif
|
|
|
|
|
|
+#include "cpu-param.h"
|
|
|
+#include "exec/target_long.h"
|
|
|
#include "exec/translation-block.h"
|
|
|
|
|
|
void page_protect(tb_page_addr_t page_addr);
|
|
|
int page_unprotect(tb_page_addr_t address, uintptr_t pc);
|
|
|
+typedef int (*walk_memory_regions_fn)(void *, target_ulong,
|
|
|
+ target_ulong, unsigned long);
|
|
|
+
|
|
|
+int walk_memory_regions(void *, walk_memory_regions_fn);
|
|
|
+
|
|
|
+void page_dump(FILE *f);
|
|
|
|
|
|
#endif
|