Searched refs:__exec_vpi_gateoutcbs (Results 1 – 2 of 2) sorted by relevance
280 extern void __exec_vpi_gateoutcbs(int32);2743 __exec_vpi_gateoutcbs(tevpi); in change_gate_outwire()
2202 extern void __exec_vpi_gateoutcbs(register int32 tevpi) in __exec_vpi_gateoutcbs() function