Symbol: vm_apicid2vcpuid
usr/src/uts/intel/io/vmm/io/vlapic.c
840
vcpuid = vm_apicid2vcpuid(vm, dest);
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
213
int vm_apicid2vcpuid(struct vm *vm, int apicid);