Symbol: VCC_DEVICE_PATH
usr/src/cmd/vntsd/common.c
171
sz = strlen(VCC_DEVICE_PATH) + strlen(dev_name)+1;
usr/src/cmd/vntsd/common.c
179
(void) snprintf(path, sz-1, VCC_DEVICE_PATH, dev_name);