Symbol: xencons_rxint
usr/src/uts/common/xen/io/xencons.c
738
xencons_rxint(xcp);
usr/src/uts/common/xen/io/xencons.c
752
xencons_rxint(xcp);