Symbol: xencons_txint
usr/src/uts/common/xen/io/xencons.c
740
xencons_txint(xcp);
usr/src/uts/common/xen/io/xencons.c
753
xencons_txint(xcp);