On Sat, May 21, 2016 at 2:12 AM, Fabio Estevam [off-list ref] wrote:

On Fri, May 20, 2016 at 6:59 PM, Rafael J. Wysocki [off-list ref] wrote:

quoted

Can you please try to boot and change the cpufreq governor to
performance and back and see if that works?

I cannot change to governor with 9be4fd2c7723a305.

After running 'cat performance >
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor'
the system hangs silently.

So this means that irq_work doesn't really work on your system at all.
It looks like queuing up an irq_work sort of works (because the
IRQ_WORK_BUSY), but then the queue is never processed.

Reverting 9be4fd2c7723a305 allows me to change to performace.

What exactly do you mean by reverting here?  It surely cannot be
reverted by itself and there are many things that depend on it.

quoted

Is this an SMP board, actually?

Yes, this is a single core CortexA7.

Hmm.  Single core means non-SMP rather?