destroy_vhci_cache
static int destroy_vhci_cache(mdi_vhci_t *);
if (destroy_vhci_cache(vh) != MDI_SUCCESS) {