xen_debug_handler
(void) add_avintr(NULL, IPL_DEBUG, xen_debug_handler,
(void) xen_debug_handler(NULL, NULL);
extern uint_t xen_debug_handler(caddr_t, caddr_t);