Symbol: ec_init_debug_irq
usr/src/uts/i86pc/os/startup.c
2150
ec_init_debug_irq();
usr/src/uts/i86xpv/sys/evtchn_impl.h
148
extern void ec_init_debug_irq(void);