diff options
Diffstat (limited to 'src/arch/power/remote_gdb.cc')
| -rw-r--r-- | src/arch/power/remote_gdb.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/arch/power/remote_gdb.cc b/src/arch/power/remote_gdb.cc index ef10efc18..1ed7afbc0 100644 --- a/src/arch/power/remote_gdb.cc +++ b/src/arch/power/remote_gdb.cc @@ -133,6 +133,7 @@ * "Stub" to allow remote cpu to debug over a serial line using gdb. */ + #include "arch/power/remote_gdb.hh" #include <sys/signal.h> @@ -144,6 +145,7 @@ #include "cpu/thread_state.hh" #include "debug/GDBAcc.hh" #include "debug/GDBMisc.hh" +#include "mem/page_table.hh" #include "sim/byteswap.hh" using namespace std; |