Searched refs:free_OS_Port2_Resource (Results 1 – 1 of 1) sorted by relevance
130 void free_OS_Port2_Resource(void) in free_OS_Port2_Resource() function145 free_OS_Port2_Resource(); in exit_sys()