Searched refs:vmips_tool_exec_name (Results 1 – 3 of 3) sorted by relevance
6 proc vmips_tool_exec_name {} { procedure40 set vmips [vmips_tool_exec_name]94 set vmips [vmips_tool_exec_name]
25 set vmips [vmips_tool_exec_name]
9781 clocker.exp: Add some comments. Use vmips_tool_exec_name instead of just10284 config/unix.exp: Fill in vmips_start, vmips_tool_exec_name,10285 and vmips_exit. Add comments. Make vmips_version use vmips_tool_exec_name.