Symbol: ndi_devi_config_vhci
usr/src/uts/common/io/ib/ibtl/ibtl_impl.c
576
if (ndi_devi_config_vhci("ib", 0) == NULL) {
usr/src/uts/common/sys/sunndi.h
615
ndi_devi_config_vhci(char *, int);