lapic_set_lvt_polarity
lapic_set_lvt_polarity(apic_id, pin,
int lapic_set_lvt_polarity(u_int apic_id, u_int lvt,
lapic_set_lvt_polarity(apic_id, pin, intentry_polarity(intr));