Searched refs:WK_exit (Results 1 – 3 of 3) sorted by relevance
58 extern void WK_exit();
1033 void WK_exit() in WK_exit() function
4604 WK_exit(); in clean_exit()