Symbol: vntsd_open_vcc
usr/src/cmd/vntsd/console.c
389
consp->vcc_fd = vntsd_open_vcc(consp->dev_name, consp->cons_no);
usr/src/cmd/vntsd/vntsd.h
423
int vntsd_open_vcc(char *domain_name, uint_t cons_no);