39d38
< //#include "cpu/o3/cpu_policy.hh"
42d40
< //#include "mem/page_table.hh"
73,74d70
< /** Sets the page table pointer. */
< // void setPageTable(PageTable *pt_ptr);
284,286d279
< /** The pointer to the page table. */
< // PageTable *pTable;
<