On Tue, Aug 18, 2015 at 4:10 PM, Hans Petter Selasky <hps at selasky.org> wrote: > Hi, > > I see three out of four IRQ threads stuck in tlb_broadcast(). Not sure if > that implies a deadlock? Can anyone familiar with tlb_broadcast() comment? > Well, according to disassembled kernel, it's IPI_STOP where other cores are stucked.