On Thu, Dec 12, 2013 at 05:13:22PM +0000, Russell King - ARM Linux wrote:

On Thu, Dec 12, 2013 at 03:31:50PM +0100, Ludovic Desroches wrote:

quoted

I'll investigate on atmel-mci driver side but if someone has also this
issue or see what is wrong in the driver, please tell me all about it.

I'm not entirely sure what's causing this, but calling flush_dcache_page()
from an IRQ isn't the best idea, as one of its side effects will be to
unmask IRQs at the CPU.

Thans for pointing this point. Having a look to other mmc drivers, it
seems flush_dcache_page() is also called from an IRQ. Not sure that
deferring it is the way to go.

What should be the most proper solution?

BTW, the faulting function seems to have been removed in more recent
kernels.

Same error with rc4 and linux-next.