Symbol: destroy_vhci_cache
usr/src/uts/common/os/sunmdi.c
291
static int destroy_vhci_cache(mdi_vhci_t *);
usr/src/uts/common/os/sunmdi.c
540
if (destroy_vhci_cache(vh) != MDI_SUCCESS) {