The text 94b3daf7d499, as Debian 8 (Jessie) shipped it.
allocate irq bits from an interrupt vector
airq_iv_alloc(9) on Linux now
