xc_serv
(void) add_avintr((void *)NULL, XC_HI_PIL, xc_serv, "xc_intr",
(void) xc_serv(NULL, NULL);
extern uint_t xc_serv(caddr_t, caddr_t); /* cross call service routine */
extern uint_t xc_serv(caddr_t, caddr_t);
xc_serv_inum = add_softintr(XCALL_PIL, (softintrfunc)xc_serv, 0,
extern uint_t xc_serv(void);