px_intx_intr
(ddi_intr_handler_t *)px_intx_intr, (caddr_t)ipil_p, NULL);
extern uint_t px_intx_intr(caddr_t arg);