xen: add a missing break to the handling of XEN_DOMCTL_getdomaininfo

Thanks to Florian Krohm

From: Ian Campbell <Ian.Campbell@citrix.com>

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13244

diff --git a/coregrind/m_syswrap/syswrap-xen.c b/coregrind/m_syswrap/syswrap-xen.c
index 3ec73527a527abbe4db23619bfc80c79eaebee04..d9315b3467b1eb0d9df9d403fd44679a260be7cf 100644 (file)
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -924,6 +924,7 @@ POST(domctl){
         POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, ssidref);
         POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, handle);
         POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, cpupool);
+      break;
       case 0x00000008:
         POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, domain);
         POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, flags);