57a58,59
> #include "sim/host.hh"
>
82a85,88
>
> const Addr IntAddrPrefixMask = ULL(0xffffffff00000000);
> const Addr IntAddrPrefixCPUID = ULL(0x100000000);
> const Addr IntAddrPrefixMSR = ULL(0x200000000);