void mali_platform_device_unregister(void) { MALI_DEBUG_PRINT(1, ("%s\n", __FUNCTION__)); #if defined(__MALI_CORE_SCALING_ENABLE__) mali_core_scaling_term(); #endif mali_pmm_deinit(); platform_device_unregister(&mali_gpu_device); }
void mali_platform_device_unregister(void) { MALI_DEBUG_PRINT(1, ("%s\n", __FUNCTION__)); mali_pmm_deinit(); if (2 == core_count) { platform_device_unregister(&mali_gpu_device_mp2); } else { platform_device_unregister(&mali_gpu_device_mp1); } }