61,64d60
< /* No architectural page table defined for this ISA */
< typedef NoArchPageTable ArchPageTable;
<
<