__vrc4173bcu_intr_getstatus2
.vc_intr_getstatus2 = __vrc4173bcu_intr_getstatus2,
void __vrc4173bcu_intr_getstatus2(vrip_chipset_tag_t, vrip_intr_handle_t,