mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
No functional change, just an optimization. Signed-off-by: Edwin Török <edvin.torok@citrix.com> Acked-by: Christian Lindig <christian.lindig@citrix.com>