lapic_set_intr
lapic_set_intr(vcpu, vec, level);
int lapic_set_intr(struct vcpu *vcpu, int vector, bool trig);
return (lapic_set_intr(vcpu, vector, LAPIC_TRIG_LEVEL));
return (lapic_set_intr(vcpu, vector, LAPIC_TRIG_EDGE));