PCIE_INTR_PRI
(void *)PCIE_INTR_PRI);
VERIFY(add_ivintr(pxu_p->hp_sysino, PCIE_INTR_PRI,
VERIFY(rem_ivintr(pxu_p->hp_sysino, PCIE_INTR_PRI) == 0);