__vrc4173bcu_intr_disestablish
.vc_intr_disestablish = __vrc4173bcu_intr_disestablish,
void __vrc4173bcu_intr_disestablish(vrip_chipset_tag_t, vrip_intr_handle_t);