ampintc_irq_handler
void ampintc_irq_handler(void *);
ampintc_intr_disestablish, ampintc_intr_string, ampintc_irq_handler);
void ampintc_irq_handler(void *);
ampintc_setipl, ampintc_irq_handler, NULL, NULL, NULL);