xen/arm: vpl011: add ASSERT_UNREACHABLE in vpl011_mmio_read

In vpl011_mmio_read switch block, all cases should have a return. Add
ASSERT_UNREACHABLE to catch case where the return is not added.

Signed-off-by: Jiamei Xie <jiamei.xie@arm.com>
Acked-by: Julien Grall <jgrall@amazon.com>

diff --git a/xen/arch/arm/vpl011.c b/xen/arch/arm/vpl011.c
index c5b695469bc55901ff834bc2f935160544e2a067..541ec962f189a98b83c55059f8fda469d1f7e2c3 100644 (file)
--- a/xen/arch/arm/vpl011.c
+++ b/xen/arch/arm/vpl011.c
@@ -406,6 +406,7 @@ static int vpl011_mmio_read(struct vcpu *v,
         goto read_as_zero;
     }
 
+    ASSERT_UNREACHABLE();
     return 1;
 
 read_as_zero: