Searched refs:destroy_custom_os (Results 1 – 1 of 1) sorted by relevance
1150 static void destroy_custom_os(void *p) in destroy_custom_os() function1547 destroy_custom_os);