Search notes:

kernel/softirq.c

irq_exit()

Exits an interrupt context. Processes soft-irqs if needed and possible.

tasklet_hi_action()

The hi might stand for human interface.

Index