@@ -328,10 +328,21 @@ static int create_p2m_entries(struct domain *d,
break;
case REMOVE:
{
- lpae_t pte;
+ lpae_t pte = third[third_table_offset(addr)];
+ unsigned long mfn = pte.p2m.base;
+
+ if ( !pte.p2m.valid )
+ break;
+
+ /* TODO: Handle other p2m type */
+ if ( p2m_is_foreign(pte.p2m.type) )
+ {
+ ASSERT(mfn_valid(mfn));
+ put_page(mfn_to_page(mfn));
+ }
+
memset(&pte, 0x00, sizeof(pte));
write_pte(&third[third_table_offset(addr)], pte);
- maddr += PAGE_SIZE;
}
break;
}
@@ -122,6 +122,18 @@ static inline struct page_info *get_page_from_gfn(
if ( !mfn_valid(mfn) )
return NULL;
page = mfn_to_page(mfn);
+
+ /* get_page won't work on foreign mapping because the page doesn't
+ * belong to the current domain.
+ */
+ if ( p2mt == p2m_map_foreign )
+ {
+ struct domain *fdom = page_get_owner_and_reference(page);
+ ASSERT(fdom != NULL);
+ ASSERT(fdom != d);
+ return page;
+ }
+
if ( !get_page(page, d) )
return NULL;
return page;