Symbol: vm_apicid2vcpuid
sys/amd64/include/vmm.h
256
int vm_apicid2vcpuid(struct vm *vm, int apicid);
sys/amd64/vmm/io/vlapic.c
1125
i = vm_apicid2vcpuid(vlapic->vm, dest);
sys/amd64/vmm/io/vlapic.c
836
vcpuid = vm_apicid2vcpuid(vm, dest);