217a218,224
> public:
> void invalidateAll();
>
> void invalidateNonGlobal();
>
> void demapPage(Addr va);
>
229,234d235
< void invalidateAll();
<
< void invalidateNonGlobal();
<
< void demapPage(Addr va);
<