set_irq_type(9) on Linux

The text 61e76e06ee3f, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.

set the irq trigger type for an irq

set_irq_type(9) on Linux now