Message ID | 1469031064-23344-8-git-send-email-julien.grall@arm.com |
---|---|
State | New |
Headers | show |
diff --git a/xen/include/asm-arm/p2m.h b/xen/include/asm-arm/p2m.h index 8fe78c1..dbbcefe 100644 --- a/xen/include/asm-arm/p2m.h +++ b/xen/include/asm-arm/p2m.h @@ -227,7 +227,7 @@ static inline struct page_info *get_page_from_gfn( * get_page won't work on foreign mapping because the page doesn't * belong to the current domain. */ - if ( p2mt == p2m_map_foreign ) + if ( p2m_is_foreign(p2mt) ) { struct domain *fdom = page_get_owner_and_reference(page); ASSERT(fdom != NULL);
No functional change. Signed-off-by: Julien Grall <julien.grall@arm.com> --- xen/include/asm-arm/p2m.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)