1547c1547
< assert(success);
---
> assert(pte);
1554c1554
< pte->paddr, success);
---
> pte->paddr, true);
1566c1566
< pte->paddr, success);
---
> pte->paddr, true);