uint32_t *first = NULL, *second = NULL;
mfn_t mfn;
- mfn = p2m_lookup(d, _gfn(paddr_to_pfn(ttbr0)), NULL);
+ mfn = gfn_to_mfn(d, _gfn(paddr_to_pfn(ttbr0)));
printk("dom%d VA 0x%08"PRIvaddr"\n", d->domain_id, addr);
printk(" TTBCR: 0x%08"PRIregister"\n", ttbcr);
(first[offset] & 0x2) )
goto done;
- mfn = p2m_lookup(d, _gfn(paddr_to_pfn(first[offset])), NULL);
+ mfn = gfn_to_mfn(d, _gfn(paddr_to_pfn(first[offset])));
if ( mfn_eq(mfn, INVALID_MFN) )
{
* with the Stage-2 page table. Walk the Stage-2 PT to check
* if the entry exists. If it's the case, return to the guest
*/
- mfn = p2m_lookup(current->domain, _gfn(paddr_to_pfn(gpa)), NULL);
+ mfn = gfn_to_mfn(current->domain, _gfn(paddr_to_pfn(gpa)));
if ( !mfn_eq(mfn, INVALID_MFN) )
return;
}
* with the Stage-2 page table. Walk the Stage-2 PT to check
* if the entry exists. If it's the case, return to the guest
*/
- mfn = p2m_lookup(current->domain, _gfn(paddr_to_pfn(info.gpa)), NULL);
+ mfn = gfn_to_mfn(current->domain, _gfn(paddr_to_pfn(info.gpa)));
if ( !mfn_eq(mfn, INVALID_MFN) )
return;