I

ipipe-ppc32

Interrupt pipeline for PowerPC (32bit)