On Mon, 13 Jun 2016, Boris Brezillon wrote:

On Sat, 11 Jun 2016 12:53:51 +0200
Alexandre Belloni [off-list ref] wrote:

quoted

On 11/06/2016 at 11:43:54 +0200, Thomas Gleixner wrote :

quoted

On Sat, 11 Jun 2016, Alexandre Belloni wrote:
  

quoted

With the new TCB clocksource driver, atmel platforms are now able to boot
without the PIT driver. Allow unselecting it.  

Yay! Thanks for doing this!
  

Sure! Can you still check the request_irq/free_irq in
timer-atmel-tcbclksrc? I'm not sure whether this can work reliably or
only because we are before SYSTEM_STATE=RUNNING.
In the latter case, I have another way of doing that.

Sorry to put it back on the table, but shouldn't we consider adding
these irq_disable/enable_action() helpers?

I fear that's the only reliable way to do it.