single_threaded_vhconfig_exit
static void single_threaded_vhconfig_exit(mdi_vhci_config_t *);
single_threaded_vhconfig_exit(vhc);
single_threaded_vhconfig_exit(vhc);
single_threaded_vhconfig_exit(vhc);
single_threaded_vhconfig_exit(vhc);