(XEN) *** Serial input -> Xen (type 'CTRL-a' three times to switch input to DOM0)
(XEN) 'd' pressed -> dumping registers
(XEN)
(XEN) *** Dumping CPU0 host state: ***
(XEN) ----[ Xen-4.6-unstable  arm32  debug=y  Tainted:    C ]----
(XEN) CPU:    0
(XEN) PC:     0022da98 _spin_unlock_irq+0x48/0x54
(XEN) CPSR:   2000005a MODE:Hypervisor
(XEN)      R0: 00300400 R1: 00000000 R2: 00000000 R3: 00000000
(XEN)      R4: 0000c350 R5: 00000000 R6: 4003fd58 R7: 00300400
(XEN)      R8: 00989680 R9: 00000000 R10:00000000 R11:4000fedc R12:3b9aca00
(XEN) HYP: SP: 4000fed8 LR: 00230acc
(XEN)
(XEN)   VTCR_EL2: 80003558
(XEN)  VTTBR_EL2: 00010000bff02000
(XEN)
(XEN)  SCTLR_EL2: 30cd187f
(XEN)    HCR_EL2: 000000000038643f
(XEN)  TTBR0_EL2: 00000000bfef8000
(XEN)
(XEN)    ESR_EL2: 00000000
(XEN)  HPFAR_EL2: 0000000000000000
(XEN)      HDFAR: 00000000
(XEN)      HIFAR: 00000000
(XEN)
(XEN) Xen stack trace from sp=4000fed8:
(XEN)    4000ff04 4000ff04 00230884 00000000 002c6000 002c9ff0 00277b80 00301614
(XEN)    002fe248 00000000 4000ff2c 0022ce5c 6000005a 00301614 00301614 00301614
(XEN)    00301614 003003dc 0027444c 0000e258 4000ff34 0022cec0 4000ff54 00246780
(XEN)    4000ff58 00277b90 00000080 00277b80 002fe248 00000001 4000ff4c 00252dd0
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000
(XEN) Xen call trace:
(XEN)    [<0022da98>] _spin_unlock_irq+0x48/0x54 (PC)
(XEN)    [<00230acc>] timer_softirq_action+0x248/0x260 (LR)
(XEN)    [<4000ff04>] 4000ff04
(XEN)    [<0022ce5c>] __do_softirq+0xbc/0xc0
(XEN)    [<0022cec0>] do_softirq+0x14/0x18
(XEN)    [<00246780>] idle_loop+0x118/0x11c
(XEN)    [<00252dd0>] init_done+0x10/0x14
(XEN)