flush_vhcache
static int flush_vhcache(mdi_vhci_config_t *, int);
if (flush_vhcache(vhc, 0) != MDI_SUCCESS) {
(void) flush_vhcache(vhc, 1);
if (flush_vhcache(vhc, 0) != MDI_SUCCESS)