irq_get_next_irq(9) on Linux

The text 6b946c70f2f5, as Debian 9 (Stretch) shipped it. The page shows this text now.

get next allocated irq number

irq_get_next_irq(9) on Linux now