Symbol: vdc_switch_server
usr/src/uts/sun4v/io/vdc.c
142
static void vdc_switch_server(vdc_t *vdcp);
usr/src/uts/sun4v/io/vdc.c
4514
vdc_switch_server(vdcp);