52c52
< //These faults need to be able to populate the tlb in SE mode.
---
> // These faults need to be able to populate the tlb in SE mode.
57c57
< //TLB state
---
> // TLB state
159c159,160
< void demapPage(Addr vaddr, uint64_t asn)
---
> void
> demapPage(Addr vaddr, uint64_t asn)