PIC_VIRQ_TO_MASK
virq_mask |= PIC_VIRQ_TO_MASK(virq);
virq_mask &= ~PIC_VIRQ_TO_MASK(virq);
newmask[ih->ih_ipl] |= PIC_VIRQ_TO_MASK(irq);
ci->ci_ipending |= PIC_VIRQ_TO_MASK(virq);
KASSERT((PIC_VIRQ_TO_MASK(0) & ci->ci_ipending) == 0);
ci->ci_ipending &= ~PIC_VIRQ_TO_MASK(virq);
imask_t v_imen = PIC_VIRQ_TO_MASK(virq);