39a40,41
> #include "arch/x86/tlb.hh"
>
44,46d45
< #include "arch/x86/insts/microldstop.hh"
< #include "arch/x86/regs/misc.hh"
< #include "arch/x86/regs/msr.hh"
47a47
> #include "arch/x86/insts/microldstop.hh"
50c50,51
< #include "arch/x86/tlb.hh"
---
> #include "arch/x86/regs/misc.hh"
> #include "arch/x86/regs/msr.hh"