Ubuntu-i9100/android_kernel_samsung_smdk4412 — pull request #1 by imax27 (2013-06-02 10:00:03+00:00)
Title: Update mali_platform.c

Fix for compilation erorr ("mali_pmm.h" into "mali_pm.h")