Symbol: CPU_SETOF
usr/src/uts/intel/io/vmm/io/vlapic.c
1076
CPU_SETOF(vlapic->vcpuid, &dmask);
usr/src/uts/intel/io/vmm/vmm_lapic.c
101
CPU_SETOF(cpu, &dmask);