apic_intr_exit
apic_intr_exit,
return (apic_intr_exit);
extern void apic_intr_exit(int ipl, int irq);