1a2,13
> * Copyright (c) 2010 ARM Limited
> * All rights reserved
> *
> * The license below extends only to copyright in the software and shall
> * not be construed as granting a license to any other intellectual
> * property including but not limited to intellectual property relating
> * to a hardware implementation of the functionality of the software
> * licensed hereunder. You may use the software subject to the license
> * terms below provided that you ensure that this notice is replicated
> * unmodified and in its entirety in all distributions of the software,
> * modified or unmodified, in source code or in binary form.
> *
280a293
> Addr vaddr = req->getVaddr() & ~PcModeMask;
284,286c297,300
< Fault fault = p->pTable->translate(req);
< if(fault != NoFault)
< return fault;
---
> Addr paddr;
> if (!p->pTable->translate(vaddr, paddr))
> return Fault(new GenericPageTableFault(vaddr));
> req->setPaddr(paddr);
292c306
< req->setPaddr(req->getVaddr());
---
> req->setPaddr(vaddr);