vlapic_calcdest
vlapic_calcdest(vlapic->vm, &dmask, dest,
vlapic_calcdest(vm, &dmask, dest, phys, lowprio, false);
void vlapic_calcdest(struct vm *vm, cpuset_t *dmask, uint32_t dest, bool phys,