42a43,44
> #include "arch/x86/remote_gdb.hh"
>
48,49c50
< #include "arch/x86/regs/int.hh"
< #include "arch/x86/regs/misc.hh"
---
> #include "arch/vtophys.hh"
52,53c53,54
< #include "arch/x86/remote_gdb.hh"
< #include "arch/vtophys.hh"
---
> #include "arch/x86/regs/int.hh"
> #include "arch/x86/regs/misc.hh"