arm: don't bother setting up vtimer, vgic etc on idle CPUs
authorIan Campbell <ian.campbell@citrix.com>
Tue, 9 Oct 2012 14:05:38 +0000 (15:05 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 9 Oct 2012 14:05:38 +0000 (15:05 +0100)
commit368885b91fae0fa94e6e9e68aaaf27d578a12cb0
tree848827c42e2dae50ca573ce57253ee2edfa6e3af
parent79aed5beefeb61b136e2c3c717ea9d6271f78f42
arm: don't bother setting up vtimer, vgic etc on idle CPUs

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c