vlapic_calcdest
vlapic_calcdest(vlapic->vm, &dmask, dest, phys, false, x2apic(vlapic));
vlapic_calcdest(vm, &dmask, dest, phys, lowprio, false);
vlapic_calcdest(vlapic->vm, &dmask, dest, phys, lowprio, false);