xen/arm: p2m: Use p2m_is_foreign in get_page_from_gfn to avoid open coding

No functional change.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>

diff --git a/xen/include/asm-arm/p2m.h b/xen/include/asm-arm/p2m.h
index 8fe78c1d76ed7c38107be2f28e1192abb6b95369..dbbcefe3264a08b244cc27b7e8dc25edc819c487 100644 (file)
--- 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);