Symbol: VCPU_NAME_BUFLEN
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2904
char namebuf[VCPU_NAME_BUFLEN];
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2908
(void) snprintf(namebuf, VCPU_NAME_BUFLEN, "vcpu%u", i);