[Xen-changelog] [xen-unstable] p2m-ept: remove map_domain_page check

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Olaf Hering <olaf@xxxxxxxxx>
# Date 1315388268 -3600
# Node ID bdd19847ae63b5dfb036e228cb16ec3ae678e995
# Parent  88065fb8d0aa214d032d76bd4480aa9ba5578b15
p2m-ept: remove map_domain_page check

map_domain_page() can not fail, remove ASSERT in ept_set_entry().

Signed-off-by: Olaf Hering <olaf@xxxxxxxxx>
---


diff -r 88065fb8d0aa -r bdd19847ae63 xen/arch/x86/mm/p2m-ept.c
--- a/xen/arch/x86/mm/p2m-ept.c Wed Sep 07 10:37:20 2011 +0100
+++ b/xen/arch/x86/mm/p2m-ept.c Wed Sep 07 10:37:48 2011 +0100
@@ -332,8 +332,6 @@
 
     table = map_domain_page(ept_get_asr(d));
 
-    ASSERT(table != NULL);
-
     for ( i = ept_get_wl(d); i > target; i-- )
     {
         ret = ept_next_level(p2m, 0, &table, &gfn_remainder, i);

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog