Searched refs:dev_manager_exit (Results 1 – 3 of 3) sorted by relevance
37 void dev_manager_exit(void);
1224 dev_manager_exit(); in activation_exit()
512 void dev_manager_exit(void) in dev_manager_exit() function