ec_pending_irq
*(int *)result = ec_pending_irq(hdlp->ih_vector);
*result = ec_pending_irq(hdlp->ih_vector);
extern int ec_pending_irq(unsigned int);