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