irq_enabled
*previously_enabled = irq_enabled ( irq );
if ( irq_enabled ( irq ) ) {
int socknum, irq_enabled;
irq_enabled = (sockp->pcs_flags & PCS_IRQ_ENABLED) ?
socket->IRQRouting = sockp->pcs_irq | irq_enabled;
int socknum, irq_enabled;
irq_enabled = (sockp->pcs_flags & PCS_CARD_ENABLED) ?
status->IRQRouting = sockp->pcs_irq | irq_enabled;