33a34,35
> #include "arch/mips/vtophys.hh"
>
36d37
< #include "arch/mips/vtophys.hh"