Searched refs:exec_vget_high (Results 1 – 2 of 2) sorted by relevance
55 extern void exec_vget_high(void);229 exec_vget_high (); in main()
35 void exec_vget_high (void) in exec_vget_high() function