psm_set_elcr
psm_set_elcr(sci, sci_flags.intr_el == INTR_EL_LEVEL);
psm_set_elcr(vecno, sp->elcr & (1 << vecno));
psm_set_elcr(*pci_irqp, 1); /* set IRQ to PCI mode */
psm_set_elcr(irqno, 0); /* set IRQ to ISA mode */
extern void psm_set_elcr(int vecno, int val);
psm_set_elcr(sci, sci_flags.intr_el == INTR_EL_LEVEL);
psm_set_elcr(*pci_irqp, 1); /* set IRQ to PCI mode */
psm_set_elcr(irqno, 0); /* set IRQ to ISA mode */