xenconsintr
static uint_t xenconsintr(caddr_t);
(void) ddi_add_intr(xcp->dip, 0, NULL, NULL, xenconsintr,