LAPIC_TRIG_EDGE
vlapic_deliver_intr(vm, LAPIC_TRIG_EDGE, dest, phys, delmode, vec);
return (lapic_set_intr(vcpu, vector, LAPIC_TRIG_EDGE));