Searched refs:platform_deinit (Results 1 – 4 of 4) sorted by relevance
62 void platform_deinit(void *platform);
406 void platform_deinit(void *platform) in platform_deinit() function
1255 void platform_deinit(void *platform) in platform_deinit() function
2006 void platform_deinit(void *platform) in platform_deinit() function