xen: arm: Use 64-bit compatible registers in vtimer.
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:58:15 +0000 (08:58 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:55 +0000 (12:14 +0000)
commit3606cdc804a940658d2f93f7d760a1b9472ab634
treebb2412801392239a5e41524deabc2ea6d8ae4021
parentc95d4af5bb69a76d730c8be5369ba4822b9d2ec9
xen: arm: Use 64-bit compatible registers in vtimer.

Also, don't crash the host if we fail to emulate a vtimer access,
just kill the guest.

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