493,497d492
< #if 0
< /** Page table pointer. */
< PageTable *pTable;
< #endif
<