void mali_pm_terminate(void) { mali_pm_domain_terminate(); _mali_osk_pm_dev_disable(); }
void mali_pm_terminate(void) { _mali_osk_pm_dev_disable(); }