282c282
< pte = read->get<uint64_t>();
---
> pte = read->getLE<uint64_t>();
284c284
< pte = read->get<uint32_t>();
---
> pte = read->getLE<uint32_t>();
525c525
< write->set<uint64_t>(pte);
---
> write->setLE<uint64_t>(pte);