vdc_terminate_ldc
static void vdc_terminate_ldc(vdc_t *vdc, vdc_server_t *srvr);
vdc_terminate_ldc(vdc, srvr);