On Mon, Dec 12, 2016 at 06:50:23PM +0100, Borislav Petkov wrote: > [ 0.000000] ffffffffbce03f40: 0000000000000000 ... > [ 0.000000] ffffffffbce03f48: ffffffffbc0001b5 (start_cpu+0x5/0x14) > [ 0.000000] ffffffffbce03f50: ffffffffbc0001b5 (start_cpu+0x5/0x14) > [ 0.000000] ffffffffbce03f58: 0000000000000000 ... > [ 0.000000] Linux version 4.9.0-rc8+ (root@gondor) (gcc version 6.2.0 > 20161109 (Debian 6.2.0-13) ) #2 SMP PREEMPT Mon Dec 12 18:36:48 CET 2016
Something funky is going on in the head code. It looks like start_cpu is getting executed twice somehow. Need to do some more head scratching... -- Josh
