x86/mm: silence a pointless warning

get_page() logs a message when it fails (dom_cow is never dying or
paging_mode_external()), so better avoid the call when it's pointless
to do anyway.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
This commit is contained in:
Jan Beulich committed 2017-05-04 15:04:29 +02:00
1 parent ba10dbc7ae
commit 2dbe9c3cd2
1 file changed
+2 -2
+2 -2
View File
@@ -501,9 +501,9 @@ struct page_info *get_page_from_gfn_p2m(
if ( fdom == NULL )
page = NULL;
}
else if ( !get_page(page, d)
else if ( !get_page(page, d) &&
/* Page could be shared */
&& !get_page(page, dom_cow) )
(!p2m_is_shared(*t) || !get_page(page, dom_cow)) )
page = NULL;
}
p2m_read_unlock(p2m);
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.