adeos_trigger_irq

[Wolfgang Grandegger]

Hi Philippe,

I realized that __adeos_handle_irq() might be called with hard
interrupts enabled when called from adeos_tigger_irq(). Is this OK?

Wolfgang.