Symbol: vdc_fini_ports