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
This commit is contained in:
Bart Van Assche
2013-01-19 13:22:54 +00:00
parent cb09eb9349
commit bcfbe494bc

View File

@@ -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);