Hi Nicolas, Le 06/10/2010 04:28, Nicolas Pitre a écrit : > Note that, on Linux, the WFI instruction is always executed with IRQs > off. So you just have to turn on the cache right after the MCR before > returning. > thanks for this information. So if there is no more problem left I'll resubmit the fixed patch. Eric