Symbol: ec_fini
usr/src/uts/i86pc/i86hvm/io/xpv/xpv_support.c
695
ec_fini();
usr/src/uts/i86pc/sys/xpv_support.h
55
extern void ec_fini();