mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
Coverity ID: 1126110 Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> CC: Ian Campbell <Ian.Campbell@citrix.com> Acked-by: Ian Jackson <Ian.Jackson@eu.citrix.com>