Searched refs:exec_vrecps (Results 1 – 2 of 2) sorted by relevance
184 extern void exec_vrecps(void);358 exec_vrecps (); in main()
36 void exec_vrecps(void) in exec_vrecps() function