interrupt_print_bus
interrupt_print_bus((uintptr_t)avhp.av_dip) : " - ",
interrupt_print_bus((uintptr_t)avhp->av_dip) : "-",
? interrupt_print_bus((uintptr_t)avhp.av_dip) : "-");