interrupt_print_isr
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avp->av_vector,
void interrupt_print_isr(uintptr_t, uintptr_t, uintptr_t);
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,
interrupt_print_isr((uintptr_t)avhp.av_vector,