Symbol: __vrc4173bcu_intr_setmask1
sys/arch/hpcmips/vr/vrc4173bcu.c
223
.vc_intr_setmask1 = __vrc4173bcu_intr_setmask1,
sys/arch/hpcmips/vr/vrc4173bcu.c
78
void __vrc4173bcu_intr_setmask1(vrip_chipset_tag_t, vrip_intr_handle_t, int);