Searched refs:vmips_exit (Results 1 – 3 of 3) sorted by relevance
4 vmips_exit170 vmips_exit
78 proc vmips_exit {} { procedure
10285 and vmips_exit. Add comments. Make vmips_version use vmips_tool_exec_name.