Comment 37 for bug 1097213

Hi Naresh,

I can confirm that the problem is reproducible with psci firmware also.

In that run it seems to give some additional crash info about null pointer derefernce:

[ 1307.348570] Unable to handle kernel NULL pointer dereference at virtual address 0000000c
 [ 1307.372435] pgd = c0004000
 [ 1307.380400] [0000000c] *pgd=00000000
 [ 1307.390942] Internal error: Oops: 5 [#1] SMP THUMB2
 [ 1307.405315] Modules linked in:
 [ 1307.414322] CPU: 1 PID: 0 Comm: swapper/1 Not tainted 3.10.19-55771-g20a9594 #1
 [ 1307.435869] task: ef0a8a40 ti: ef0c4000 task.ti: ef0c4000
 [ 1307.451787] PC is at get_next_timer_interrupt+0x7e/0x208
 [ 1307.467440] LR is at get_next_timer_interrupt+0x55/0x208
 [ 1307.483095] pc : [<c0026d56>] lr : [<c0026d2d>] psr: 000f00b3
 [ 1307.483095] sp : ef0c5f20 ip : c169d808 fp : 00000001
 [ 1307.516943] r10: ef0d6000 r9 : c062c148 r8 : 000188ec
 [ 1307.532339] r7 : 400188eb r6 : c16a2a40 r5 : 000000f5 r4 : 80000000
 [ 1307.551578] r3 : 00000000 r2 : 000188ea r1 : ef0d67bc r0 : 000000ea
 [ 1307.570818] Flags: nzcv IRQs off FIQs on Mode SVC_32 ISA Thumb Segment kernel
 [ 1307.593133] Control: 50c5387d Table: acb8406a DAC: 00000015