vm_apicid2vcpuid
int vm_apicid2vcpuid(struct vm *vm, int apicid);
i = vm_apicid2vcpuid(vlapic->vm, dest);
vcpuid = vm_apicid2vcpuid(vm, dest);