Coverity objects otherwise.
Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
---
CC: Jan Beulich <jbeul...@suse.com>
---
xen/arch/x86/mm.c | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c
index a05edc3..0bff7dd 100644
--- a/xen/arch/x86/mm.c
+++ b/xen/arch/x86/mm.c
@@ -924,10 +924,15 @@ get_page_from_l1e(
{
case 0:
break;
+
case 1:
if ( is_hardware_domain(l1e_owner) )
+ {
+ /* Fallthrough. */
case -1:
return 0;
+ }
+ /* Fallthrough. */
default:
ASSERT_UNREACHABLE();
}
--
2.1.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
