68,71d67
< /* No architectural page table defined for this ISA */
< typedef NoArchPageTable ArchPageTable;
<
<