39a40,42
> #include "arch/x86/system.hh"
>
> #include "arch/vtophys.hh"
42d44
< #include "arch/x86/regs/misc.hh"
44,45c46,47
< #include "arch/x86/system.hh"
< #include "arch/vtophys.hh"
---
> #include "arch/x86/regs/misc.hh"
> #include "base/intmath.hh"
48d49
< #include "base/intmath.hh"