-
Federico Vaga authored
This prevent confusion while reading the code because, for example, a question: why initialize both timer and tasklet if we can use only one, and we cannot change the configuration at run-time? fd_irq_init: setup_timer only if the user requires timer mode, otherwise initialize tasklet Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
0e8cc1a8